Резултати
еНаука >
Резултати >
Development and Evaluation of LAV: An SMT-Based Error Finding Platform System Description
| Назив: | Development and Evaluation of LAV: An SMT-Based Error Finding Platform System Description | Аутори: | Vujosevic-Janicic, Milena M; Kuncak, Viktor | Година: | 2012 | Публикација: | VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS | ISSN: | 0302-9743 Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence Претражи идентификатор |
Тип резултата: | Конференцијски рад | Колација: | vol. 7152 str. 98-113 | WoS-ID: | 000306943500009 | URI: | https://enauka.gov.rs/handle/123456789/821652 | Извор метаподатака: | (Preuzeto iz Nasi u WoS) | М-категорија: | Мп категорија ће бити приказана накнадно. |
13
WEB OF SCIENCETM
Google ScholarTM
Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.