Results
eNauka >
Results >
Development and Evaluation of LAV: An SMT-Based Error Finding Platform System Description
| Title: | Development and Evaluation of LAV: An SMT-Based Error Finding Platform System Description | Authors: | Vujosevic-Janicic, Milena M; Kuncak, Viktor | Issue Date: | 2012 | Publication: | VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS | ISSN: | 0302-9743 Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence Search Idenfier |
Type: | Conference Paper | Collation: | vol. 7152 str. 98-113 | WoS-ID: | 000306943500009 | URI: | https://enauka.gov.rs/handle/123456789/821652 | Metadata source: | (Preuzeto iz Nasi u WoS) | M-category: | Mp. category will be shown later |
13
WEB OF SCIENCETM
Google ScholarTM
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.