Formal Methods : Foundations and Applications
de Tiago Massoni, Mohammad Reza Mousavi
Materias
Ediciones (1)
- Formal Methods : Foundations and Applications (2018)
Springer · ISBN 9783030030438
de Tiago Massoni, Mohammad Reza Mousavi
Springer · ISBN 9783030030438