Integrated Formal Methods
11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings
Edición de la obra Integrated Formal Methods
| Autor | Elvira Albert, Emil Sekerinski |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2014 |
| Idioma | inglés |
| ISBN-13 | 9783319101811 |
| Número de Cutter | A333i |