×
  • Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I

    Reiner Hähnle Ina Schaefer (auth.) Tiziana Margaria Bernhard Steffen (eds.)

Click on cover to enlarge.
14 - 16Hours to read