Formal Verification of Object-Oriented Software - 9783642317613
ISBN-13: 9783642317613, 978-3642317613. The 10 revised full papers presented together with 5 invited talks were carefully reviewed and selected from 19 submissions. The logical next goal is the verification of industrial software products.