Results

eNauka >  Rezultati >  Parallelization of Software Verification Tool LAV
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.

Find the DOI

Google ScholarTM

Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.