FM 2019: Formal Methods - the Next 30 Years : Third World Congress, Porto, Portugal, October 7-11, 2019, Proceedings
by Maurice ter Beek, Annabelle McIver, José N. Oliveira Paperback 2019
- Author: Maurice ter Beek, Annabelle McIver, José N. Oliveira
- ISBN 13: 9783030309411
- ISBN 10: 303030941X
- Publication Year: 2019
- Language: English
Specifications
| Index-10 | 303030941X |
|---|---|
| Index-13 | 9783030309411 |
| Language | English |
✨ Readers also enjoyed...
Architecting Dependable Systems VI
Witch upon a Star