Претрага по менторима
Приказ резултата 1-1 од 1
-
Analiza osobina dinamičkih postuslova u Horovim tripletima / Analyses of characteristics of dynamic postconditions in Hoare triplets
(Универзитет у Новом Саду, Факултет техничких наука, 01-01-2010)