Search results
1 project found matching your search criteria:
-
1. New methods in parametric model checking
Principal investigator: Michał Józef Knapik
Instytut Podstaw Informatyki PAN
Call: PRELUDIUM 4, Panel: ST6
Graphic design and implementation: Jakub Piotrowski