Formal Verification of Object-Oriented Software International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers - Beckert, Bernhard; Damiani, Ferruccio; Gurov, Dilian (Springer Berlin Heidelberg : Imprint: Springer, 2012)