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/1677
DC FieldValueLanguage
dc.contributor.authorVujošević Janičić, Milenaen_US
dc.date.accessioned2025-03-14T18:56:29Z-
dc.date.available2025-03-14T18:56:29Z-
dc.identifier.urihttps://research.matf.bg.ac.rs/handle/123456789/1677-
dc.language.isootheren_US
dc.publisherBeograd : Matematički fakulteten_US
dc.titleAutomated generation and checking of verification conditionsen_US
dc.title.alternativeAutomatsko generisanje i proveravanje uslova ispravnosti programaen_US
dc.typeDoctoral Thesisen_US
dc.identifier.doi10.2298/bg20131217vujosevicjanicic-
dc.identifier.urlhttp://dx.doi.org/10.2298/BG20131217VUJOSEVICJANICIC-
dc.contributor.affiliationInformatics and Computer Scienceen_US
dc.description.rankM70en_US
dc.relation.firstpageXIII, 146 str. : graf. prikazi ; 30 cmen_US
item.languageiso639-1other-
item.grantfulltextnone-
item.fulltextNo Fulltext-
item.openairetypeDoctoral Thesis-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.cerifentitytypePublications-
crisitem.author.deptInformatics and Computer Science-
crisitem.author.orcid0000-0001-5396-0644-
Appears in Collections:Research outputs
Show simple item record

Google ScholarTM

Check

Altmetric

Altmetric


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