Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Jörg Beckers
Latest
Direct Support for Model Checking Abstract State Machines by Utilizing Simulation
Cite
×