Journal of Automated Reasoning

, Volume 43, Issue 3, pp 237–242

Computer Assisted Reasoning

A Festschrift for Michael J. C. Gordon

DOI: 10.1007/s10817-009-9144-7

Cite this article as:
Boulton, R., Hurd, J. & Slind, K. J Autom Reasoning (2009) 43: 237. doi:10.1007/s10817-009-9144-7

Copyright information

© Springer Science+Business Media B.V. 2009

Authors and Affiliations

  1. 1.Icera Inc.BristolUK
  2. 2.Galois, Inc.PortlandUSA
  3. 3.Rockwell Collins Advanced Technology CenterN.E. Cedar RapidsUSA

Personalised recommendations