| 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”. Acta Informatica (pp. 1–2). doi:10.1007/s00236-018-0323-z |
|