Results
| Title: | A calculus for a LLVM-based software verification tool LAV | Authors: | Vujošević Janičić, Milena M.   |
Issue Date: | 2018 | Publication: | WG meeting in Nijmegen, EUTypes meeting | Publisher: | Nijmegen, Netherlands | Type: | Conference Paper | URI: | https://enauka.gov.rs/handle/123456789/154851 | URL: | https://eutypes.cs.ru.nl/Meetings/Nijmegen18 | Metadata source: | Migrirano iz RIS podataka | M-category: | Mp. category will be shown later |
Google ScholarTM
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.