Annals of Mathematics and Artificial Intelligence

, Volume 63, Issue 1, pp 1–3

Preface

Authors

  • Manuela Bujorianu
    • School of MathematicsUniversity of Manchester
    • Department of Computer ScienceUniversity of Liverpool
  • Corina Pasareanu
    • CMU
    • Robust Software Engineering Group, NASA Ames
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
  • 112 Views
Download to read the full article text

Copyright information

© Springer Science+Business Media B.V. 2012