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