Formal Verification of Object-Oriented Software : International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers /

Lignende værker

• Formal Verification of Object-Oriented Software : International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers /
  af: Bernhard Beckert, Claude Marché
  Udgivet: (2011, c2011)
• Formal Methods for Components and Objects : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers /
  af: Bernhard Beckert, Ferruccio Damiani, Frank S. Boer, Marcello M. Bonsangue
  Udgivet: (2013, c2013)
• Verification of Object-Oriented Software. The KeY Approach : Foreword by K. Rustan M. Leino /
  af: Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt
  Udgivet: (2007, c2007)
• Modular Specification and Verification of Object-Oriented Programs /
  af: Peter Müller
  Udgivet: (2002, c2002)
• Testing Object-Oriented Software : Life Cycle Solutions /
  af: Bashir, Imran
  Udgivet: (1999, c1999)