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. Formal Aspects of Computing (Vol. 30, pp. 493–494). doi:10.1007/s00165-018-0463-5 |