Bernd-Holger Schlingloff
Autor von "Formal Methods for Software Engineering" .
Markus Roggenbach is a professor in the Dept. of Computer Science of Swansea University. Antonio Cerone is an associate professor in the Dept. of Computer Science of Nazarbayev University in Astana. Bernd-Holger Schlingloff is a professor in the Institut für Informatik of Humboldt-Universität zu Berlin. Gerardo Schneider is a professor in the Dept. of Computer Science and Engineering of University of Gothenburg. Siraj Ahmed Shaikh is a professor in the Institute for Future Transport and Cities of Coventry University.

