Additional Metadata
Stakeholder Microsoft Research, Redmond, USA
Persistent URL dx.doi.org/10.1007/s00165-018-0463-5
Journal Formal Aspects of Computing
Citation
Bjorner, N, de Boer, F.S, & Butterfield, A. (2018). Editorial. Formal Aspects of Computing (Vol. 30, pp. 493–494). doi:10.1007/s00165-018-0463-5