ℹ️
🇬🇧
Search
Search for people relevant for "Verification"
Verification
Person
Class
Person
Publication
Programmes
Export current view
Kunihiko Hiraishi
Person without affiliation with CUNI
1 publication
Publication
publication
Application of DES Theory to Verification of Software Components
2009 |
Faculty of Mathematics and Physics
Loading network view...
