Leveraging Applications Of Formal Methods Verification And Validation Third International Symposium Proceedings
Edición de la obra Leveraging Applications Of Formal Methods Verification And Validation Third International Symposium Proceedings
| Autor | Tiziana Margaria |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 2008 |
| ISBN-13 | 9783540884781 |
| Número de Cutter | M327l |