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.language.isoenen_US
dc.relation.ispartofLeibniz International Proceedings in Informatics, LIPIcsen_US
dc.titleParallelization of software verification tool LAVen_US
dc.typeConference Paperen_US
dc.relation.conferenceInternational Conference on Types for Proofs and Programs, TYPES (23 ; 2017 ; Budapest)en_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.languageiso639-1en-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.fulltextNo Fulltext-
item.grantfulltextnone-
item.openairetypeConference Paper-
item.cerifentitytypePublications-
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 Aug 22, 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.