Formal Methods
24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings
Edición de la obra Formal Methods
| Autor | Marieke Huisman, Corina Pasareanu, Naijun Zhan |
|---|---|
| Editorial | Springer International Publishing AG |
| Fecha de publicación | 2021 |
| Idioma | inglés |
| ISBN-13 | 9783030908690 |
| Número de Cutter | H899f |