Rezultati
| Naziv: | Parallelization of Software Verification Tool LAV | Autori: | Živković, Branislava B.  ; Vujošević Janičić, Milena M.  |
Godina: | 2017 | Publikacija: | 23rd International Conference on Types for Proofs and Programs, TYPES 2017 | Izdavač: | Department of Programming Languages and Compilers Faculty of Informatics Eotvos Lorand University Pazmany Peter setany 1/C, 1117 Budapest, Hungary, Budimpešta | Tip rezultata: | Konferencijski rad | ISBN: | 78-963-284-883-9 ИСБН није валидан Pretraži identifikator |
Kolacija: | str. 103-104 | URI: | https://enauka.gov.rs/handle/123456789/390844 | URL: | http://types2017.elte.hu/ | Izvor metapodataka: | Migrirano iz RIS podataka | M-kategorija: | Mp kategorija će biti prikazana naknadno. |
Google ScholarTM
Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.