Please use this identifier to cite or link to this item:
https://research.matf.bg.ac.rs/handle/123456789/1676| Title: | A calculus for a LLVM-based software verification tool LAV | Authors: | Vujošević Janičić, Milena | Issue Date: | 2018 | Publisher: | Radboud Universiteit | Related Publication(s): | EUTypes WG meeting in Nijmegen | URI: | https://research.matf.bg.ac.rs/handle/123456789/1676 |
| Appears in Collections: | Research outputs |
Show full item record
Google ScholarTM
Check
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.