FM 2015 : Formal Methods
20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
Edición de la obra FM 2015 : Formal Methods
| Autor | Nikolaj Bjørner, Frank de Boer |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2015 |
| Idioma | inglés |
| ISBN-13 | 9783319192499 |
| Número de Cutter | B626f |