| Additional Metadata | |
|---|---|
| Microsoft Research, Redmond, USA | |
| doi.org/10.1007/s00236-018-0323-z | |
| Acta Informatica | |
| Organisation | Centrum Wiskunde & Informatica, Amsterdam (CWI), The Netherlands |
|
de Boer, F.& Bjorner, N. (2018). Preface for the special issue “FM15”. In Acta Informatica (pp. 1–2).https://doi.org/10.1007/s00236-018-0323-z |
|