Formal Methods : Foundations and Applications
19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings
Edición de la obra Formal Methods : Foundations and Applications
| Autor | Leila Ribeiro, Thierry Lecomte |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 2017 |
| Idioma | inglés |
| ISBN-13 | 9783319498157 |
| Número de Cutter | R484f |