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/1682
DC FieldValueLanguage
dc.contributor.authorVujošević Janičić, Milenaen_US
dc.date.accessioned2025-03-15T10:20:02Z-
dc.date.available2025-03-15T10:20:02Z-
dc.date.issued2014-
dc.identifier.issn2683-3646-
dc.identifier.urihttps://research.matf.bg.ac.rs/handle/123456789/1682-
dc.language.isootheren_US
dc.publisherBeograd : Fakultet organizacionih naukaen_US
dc.relation.ispartofInfoMen_US
dc.subjectsoftware verificationen_US
dc.subjectRegression verificationen_US
dc.subjectsymbolic executionen_US
dc.subjectBounded model checkingen_US
dc.subjectAutomated evaluation of students' programsen_US
dc.titleRegresiona verifikacija softvera koriscenjem sistema LAVen_US
dc.title.alternativeRegression verification by system LAVen_US
dc.typeArticleen_US
dc.identifier.urlhttps://infom.fon.bg.ac.rs/index.php/infom/article/view/1579/1551-
dc.contributor.affiliationInformatics and Computer Scienceen_US
dc.relation.issn1451-4397en_US
dc.relation.firstpage14en_US
dc.relation.lastpage20en_US
dc.relation.issue49en_US
item.cerifentitytypePublications-
item.languageiso639-1other-
item.fulltextNo Fulltext-
item.openairetypeArticle-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.grantfulltextnone-
crisitem.author.deptInformatics and Computer Science-
crisitem.author.orcid0000-0001-5396-0644-
Appears in Collections:Research outputs
Show simple item record

Page view(s)

11
checked on Jun 9, 2026

Google ScholarTM

Check


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