2018-09-01
Editorial
Publication
Publication
Formal Aspects of Computing , Volume 30 - Issue 5 p. 493- 494
| Additional Metadata | |
|---|---|
| Microsoft Research, Redmond, USA | |
| doi.org/10.1007/s00165-018-0463-5 | |
| Formal Aspects of Computing | |
| Organisation | Centrum Wiskunde & Informatica, Amsterdam (CWI), The Netherlands |
|
Bjorner, N., de Boer, F.& Butterfield, A. (2018). Editorial. In Formal Aspects of Computing (Vol. 30, Number 5, pp. 493–494).https://doi.org/10.1007/s00165-018-0463-5 |
|