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.grantfulltextnone-
item.cerifentitytypePublications-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.openairetypeArticle-
item.fulltextNo Fulltext-
item.languageiso639-1other-
crisitem.author.deptInformatics and Computer Science-
crisitem.author.orcid0000-0001-5396-0644-
Appears in Collections:Research outputs
Show simple item record

Google ScholarTM

Check


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