Please use this identifier to cite or link to this item:
https://research.matf.bg.ac.rs/handle/123456789/791| Title: | Parallelization of software verification tool LAV | Authors: | Zivković, Branislava Vujošević Janičić, Milena |
Affiliations: | University of Belgrade Informatics and Computer Science |
Issue Date: | 1-Jan-2017 | Rank: | M34 | Related Publication(s): | 23rd International Conference on Types for Proofs and Programs, TYPES 2017 Abstracts | Journal: | Leibniz International Proceedings in Informatics, LIPIcs | URI: | https://research.matf.bg.ac.rs/handle/123456789/791 | ISBN: | 9783959770712 | ISSN: | 18688969 |
| Appears in Collections: | Research outputs |
Show full item record
SCOPUSTM
Citations
1
checked on Mar 4, 2025
Page view(s)
26
checked on Jan 19, 2025
Google ScholarTM
Check
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.