Aplikace formálních metod v analýze sémantických rozdílů mezi verzemi software
Autor práce
František Nečas
Vysoké učení technické v Brně, Fakulta informačních technologií
Vedúci práce
Ing. Viktor Malík, Ph.D.