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 |