Model Checking Software
de Klaus Havelund, Rupak Majumdar, Jens Palsberg
Ediciones (1)
- Model Checking Software (2008)
Springer London, Limited · inglés · ISBN 9783540851141
de Klaus Havelund, Rupak Majumdar, Jens Palsberg
Springer London, Limited · inglés · ISBN 9783540851141
