Media type: E-Book Title: Formal Verification of Object-Oriented Software : Papers presented at the 2nd International Conference, October 5-7, 2011, Turin, Italy Contributor: Beckert, Bernhard [Hrsg.] imprint: Karlsruhe: KIT, Fakultät für Informatik, 2011 Published in: Karlsruher Institut für Technologie: Karlsruhe reports in informatics ; 2011,26 Extent: Online-Ressource Language: English Origination: Footnote: Access State: Open Access