Media type: E-Book Title: Formal Verification of Object-Oriented Software : Papers presented at the International Conference, June 28-30, 2010, Paris, France Contributor: Beckert, Bernhard [Hrsg.]; Marche, Claude [Hrsg.] Event: FoVeOOS imprint: Karlsruhe: KIT, Fakultät für Informatik, 2010 Berlin [u.a.]: Springer, 2010 Published in: Karlsruher Institut für Technologie: Karlsruhe reports in informatics ; 2010,13 Extent: Online-Ressource Language: English Keywords: Forschungsbericht Origination: Footnote: Unterschiede zwischen dem gedruckten Dokument und der elektronischen Ressource können nicht ausgeschlossen werden Systemvoraussetzungen: Acrobat reader Access State: Open Access