Automated generation and checking of verification conditions

Please use this identifier to cite or link to this item: https://research.matf.bg.ac.rs/handle/123456789/1677

Title:	Automated generation and checking of verification conditions
Other Titles:	Automatsko generisanje i proveravanje uslova ispravnosti programa
Authors:	Vujošević Janičić, Milena
Affiliations:	Informatics and Computer Science
Rank:	M70
Publisher:	Beograd : Matematički fakultet
URI:	https://research.matf.bg.ac.rs/handle/123456789/1677
DOI:	10.2298/bg20131217vujosevicjanicic
Appears in Collections:	Research outputs

Check