Heike Wehrheim · 4 obras en el catálogoObrasFormal methods for open object-based distributed systemsCorrect System DesignTests and ProofsFundamental Approaches to Software Engineering