KONEČNÝ, F. Relační verifikace programů s celočíselnými daty [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. .

Posudky

Posudek vedoucího

eVSKP id 99808