You are not logged in | Log in
Return to the list of grants

Frontiers of automatic verification: new methods of analysis of infinite-state systems

Principal investigator
prof. dr hab. Sławomir Lasota
Contract number
Starting date
March 20, 2014
Ending date
March 19, 2017
Financed by
National Science Center
dr Wojciech Czerwiński, dr Lorenzo Clemente, mgr Piotr Hofman