Formal Methods and Software Engineering
Ediciones (2)
- Formal Methods and Software Engineering (2010)
Springer London, Limited · inglés · ISBN 9783642169014
- Formal Methods and Software Engineering (2003)
Springer London, Limited · inglés · ISBN 9783540398936