Project details

 

DiVinE – nástroj pro paralelní verifikaci

Project Identification:MUNI/33/08/2012
Project Period:4/2012 - 3/2013
Investor:Masaryk University
Programme / Project Type:FI Dean's Programme -
MU Faculty/Unit:
Faculty of Informatics
MU Investigator:Mgr. Jan Kriho
Project Team Member:Mgr. Jan Havlíček
Bc. Pavel Mičan