SPIN Model Checking and Software Verification
de Klaus Havelund, John Penix, Willem Visser
Ediciones (1)
- SPIN Model Checking and Software Verification (2006)
Springer London, Limited · inglés · ISBN 9783540452973
de Klaus Havelund, John Penix, Willem Visser
Springer London, Limited · inglés · ISBN 9783540452973
