1. Research with MATF
  2. MATF
  3. Research outputs
Please use this identifier to cite or link to this item: https://research.matf.bg.ac.rs/handle/123456789/791
DC FieldValueLanguage
dc.contributor.authorZivković, Branislavaen_US
dc.contributor.authorVujošević Janičić, Milenaen_US
dc.date.accessioned2022-08-15T15:40:19Z-
dc.date.available2022-08-15T15:40:19Z-
dc.date.issued2017-01-01-
dc.identifier.isbn9783959770712-
dc.identifier.issn18688969-
dc.identifier.urihttps://research.matf.bg.ac.rs/handle/123456789/791-
dc.relation.ispartofLeibniz International Proceedings in Informatics, LIPIcsen_US
dc.titleParallelization of software verification tool LAVen_US
dc.typeConference Paperen_US
dc.relation.publication23rd International Conference on Types for Proofs and Programs, TYPES 2017 Abstractsen_US
dc.identifier.scopus2-s2.0-85086909235-
dc.identifier.urlhttps://api.elsevier.com/content/abstract/scopus_id/85086909235-
dc.contributor.affiliationUniversity of Belgradeen_US
dc.contributor.affiliationInformatics and Computer Scienceen_US
dc.relation.isbn978-963-284-883-9en_US
dc.description.rankM34en_US
dc.relation.firstpage103en_US
dc.relation.lastpage104en_US
dc.relation.volume104en_US
item.grantfulltextnone-
item.cerifentitytypePublications-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.openairetypeConference Paper-
item.fulltextNo Fulltext-
crisitem.author.deptInformatics and Computer Science-
crisitem.author.orcid0000-0001-5396-0644-
Appears in Collections:Research outputs
Show simple item record

SCOPUSTM   
Citations

1
checked on Apr 13, 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.