Browsing Математички факултет by Subject "automated bug finding"
Now showing items 1-1 of 1
-
Automatsko generisanje i proveravanje uslova ispravnosti programa / Automated generation and checking of verification conditions
(Универзитет у Београду, Математички факултет, 17-12-2013)