Context

Context of Formal verification of object-oriented software : international conference, FoVeOOS 2010, Paris, France, June 28-30, 2010 : revised selected papers, Bernhard Beckert, Claude Marche (eds.), (electronic book)
Processing Feedback ...