Advertisement

Formal Aspects of Computing

, Volume 30, Issue 5, pp 493–494 | Cite as

Editorial

  • Nikolaj BjørnerEmail author
  • Frank de Boer
  • Andrew Butterfield
Editorial
  • 69 Downloads

Copyright information

© British Computer Society 2018

Authors and Affiliations

  • Nikolaj Bjørner
    • 1
    Email author
  • Frank de Boer
    • 2
  • Andrew Butterfield
    • 3
  1. 1.Microsoft ResearchRedmondUSA
  2. 2.Centrum Wiskunde & Informatica (CWI)AmsterdamThe Netherlands
  3. 3.Trinity College DublinDublinIreland

Personalised recommendations