Browse by authors
Now showing items 1-2 of 2
-
Automatsko generisanje i proveravanje uslova ispravnosti programa / Automated generation and checking of verification conditions
(University of Belgrade, Faculty of Mathematics, 17-12-2013) -
Automatsko generisanje i proveravanje uslova ispravnosti programa / Automated generation and checking of verification conditions
(University of Belgrade, Faculty of Mathematics, 17-12-2013)