Annals of Mathematics and Artificial Intelligence

, Volume 63, Issue 1, pp 1–3

Preface

  • Manuela Bujorianu
  • Michael Fisher
  • Corina Pasareanu
Article

DOI: 10.1007/s10472-011-9273-7

Cite this article as:
Bujorianu, M., Fisher, M. & Pasareanu, C. Ann Math Artif Intell (2011) 63: 1. doi:10.1007/s10472-011-9273-7
Download to read the full article text

Copyright information

© Springer Science+Business Media B.V. 2012

Authors and Affiliations

  • Manuela Bujorianu
    • 1
  • Michael Fisher
    • 2
  • Corina Pasareanu
    • 3
    • 4
  1. 1.School of MathematicsUniversity of ManchesterManchesterUK
  2. 2.Department of Computer ScienceUniversity of LiverpoolLiverpoolUK
  3. 3.CMUMountain ViewUSA
  4. 4.Robust Software Engineering Group, NASA AmesSunnyvaleUSA