Applying formal methods to analysis of semantic differences between versions of software
Author
František Nečas
Brno University of Technology, Faculty of Information Technology
Supervisor
Ing. Viktor Malík, Ph.D.