Integrated Formal Methods
Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings
Edición de la obra Integrated Formal Methods
| Autor | Michael Butler, Luigia Petre, Kaisa Sere |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2003 |
| Idioma | inglés |
| ISBN-13 | 9783540478843 |
| Número de Cutter | B986i |