Willem Visser
- Auteur
Boeken van Willem Visser
Klaus Havelund
John Penix
Willem Visser
SPIN Model Checking and Software Verification
The SPIN workshop is a forum for researchers interested in the subject of automata-based, explicit-state model checking technologies for the analysis and veri?
Meer