Please use this identifier to cite or link to this item:
https://research.matf.bg.ac.rs/handle/123456789/791
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Zivković, Branislava | en_US |
dc.contributor.author | Vujošević Janičić, Milena | en_US |
dc.date.accessioned | 2022-08-15T15:40:19Z | - |
dc.date.available | 2022-08-15T15:40:19Z | - |
dc.date.issued | 2017-01-01 | - |
dc.identifier.isbn | 9783959770712 | - |
dc.identifier.issn | 18688969 | - |
dc.identifier.uri | https://research.matf.bg.ac.rs/handle/123456789/791 | - |
dc.relation.ispartof | Leibniz International Proceedings in Informatics, LIPIcs | en_US |
dc.title | Parallelization of software verification tool LAV | en_US |
dc.type | Conference Paper | en_US |
dc.relation.publication | 23rd International Conference on Types for Proofs and Programs, TYPES 2017 Abstracts | en_US |
dc.identifier.scopus | 2-s2.0-85086909235 | - |
dc.identifier.url | https://api.elsevier.com/content/abstract/scopus_id/85086909235 | - |
dc.contributor.affiliation | University of Belgrade | en_US |
dc.contributor.affiliation | Informatics and Computer Science | en_US |
dc.relation.isbn | 978-963-284-883-9 | en_US |
dc.relation.firstpage | 103 | en_US |
dc.relation.lastpage | 104 | en_US |
dc.relation.volume | 104 | en_US |
item.fulltext | No Fulltext | - |
item.openairecristype | http://purl.org/coar/resource_type/c_18cf | - |
item.cerifentitytype | Publications | - |
item.grantfulltext | none | - |
item.openairetype | Conference Paper | - |
crisitem.author.dept | Informatics and Computer Science | - |
crisitem.author.orcid | 0000-0001-5396-0644 | - |
Appears in Collections: | Research outputs |
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.