Leveraging Applications of Formal Methods
de Tiziana Maragria, Bernhard Steffen
Ediciones (1)
- Leveraging Applications of Formal Methods (2006)
Springer London, Limited · inglés · ISBN 9783540489290
de Tiziana Maragria, Bernhard Steffen
Springer London, Limited · inglés · ISBN 9783540489290