Formal Aspects of Computing

, Volume 25, Issue 3, pp 343–343

Editorial

  • Jonathan P. Bowen
  • Michael Butler
  • Steve Reeves
  • Mike Hinchey
Editorial

DOI: 10.1007/s00165-013-0281-8

Cite this article as:
Bowen, J.P., Butler, M., Reeves, S. et al. Form Asp Comp (2013) 25: 343. doi:10.1007/s00165-013-0281-8
Download to read the full article text

Copyright information

© British Computer Society 2013

Authors and Affiliations

  • Jonathan P. Bowen
    • 1
  • Michael Butler
    • 1
  • Steve Reeves
    • 1
  • Mike Hinchey
    • 1
  1. 1.School of Electronics and Computer ScienceUniversity of SouthamptonSouthamptonUK