Rezultati
eNauka >
Rezultati >
Development and Evaluation of LAV: An SMT-Based Error Finding Platform System Description
| Naziv: | Development and Evaluation of LAV: An SMT-Based Error Finding Platform System Description | Autori: | Vujosevic-Janicic, Milena M; Kuncak, Viktor | Godina: | 2012 | Publikacija: | VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS | ISSN: | 0302-9743 Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence Pretraži identifikator |
Tip rezultata: | Konferencijski rad | Kolacija: | vol. 7152 str. 98-113 | WoS-ID: | 000306943500009 | URI: | https://enauka.gov.rs/handle/123456789/821652 | Izvor metapodataka: | (Preuzeto iz Nasi u WoS) | M-kategorija: | Mp kategorija će biti prikazana naknadno. |
13
WEB OF SCIENCETM
Google ScholarTM
Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.