Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Stefan Kowalewski
Latest
Direct Support for Model Checking Abstract State Machines by Utilizing Simulation
Cite
×