Browse by mentor

Now showing items 1-1 of 1

Analiza osobina dinamičkih postuslova u Horovim tripletima / Analyses of characteristics of dynamic postconditions in Hoare triplets

Купусинац, Александар (University of Novi Sad, Faculty of Technical Science, 01-01-2010)