×
  • Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

    Martin Wirsing Matthias Hölzl Mirco Tribastone Franco Zambonelli (auth.) Bernhard Beckert Ferruccio Damiani Frank S. de Boer Marcello M. Bonsangue (eds.)

Click on cover to enlarge.
8 - 9Hours to read