Preface

  • Manuela Bujorianu
  • Michael Fisher
  • Corina Pasareanu
Article
  • 130 Downloads

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

Personalised recommendations