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
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 Dec 24, 2024

Page view(s)

26
checked on Dec 24, 2024

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.