ℹ️
🇬🇧
Search
Search for people relevant for "Check-"
Check-
Person
Class
Person
Publication
Programmes
Mgr. Tomáš Matoušek
External person at Faculty of Mathematics and Physics
3 publications
Publications
publication
DeSpec: Modeling the Windows Driver Environment
2009 |
Faculty of Mathematics and Physics
publication
Extracting Zing Models from C Source Code
+1
2007 |
Faculty of Mathematics and Physics
Loading network view...