Pregled Математички факултет po temi "automated bug finding"
Prikaz rezultata 1-1 od 1
-
Automatsko generisanje i proveravanje uslova ispravnosti programa / Automated generation and checking of verification conditions
(Универзитет у Београду, Математички факултет, 17-12-2013)