Formal Methods – The Next 30 Years
de Maurice H. ter Beek, Annabelle McIver, José N. Oliveira
Ediciones (1)
- Formal Methods – The Next 30 Years (2019)
Springer · ISBN 9783030309411
de Maurice H. ter Beek, Annabelle McIver, José N. Oliveira
Springer · ISBN 9783030309411
