Formal Methods : Foundations and Applications
18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings
Edición de la obra Formal Methods : Foundations and Applications
| Autor | Márcio Cornélio, Bill Roscoe |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2016 |
| Idioma | inglés |
| Páginas | 195 |
| ISBN-13 | 9783319294735 |
| Número de Cutter | C814f |