Home›Books›Bernhard RumpeBernhard RumpeNo biography available.Works (6)Behavioral specifications of businesses and systemsSoftware Engineering and Formal Methods : SEFM 2015 Collocated WorkshopsTrusted Cloud ComputingSoftware Engineering and Formal MethodsÜbungen zur Einführung in die InformatikAgile Modeling with UML