M. Broy
A list of authors with biographies, life dates, and future collections of all their books.
Author's Books
18
Calculational system design
Program construction
Program design calculi
Informatikforschung in Deutschland
Software and systems safety
Model-based testing of reactive systems
Formal methods in programming and their applications
Programming and mathematical method
Deductive program design
Methods of programming
Informatik und Mathematik
Mathematical methods in program development
KORSO
Software system reliability and security
Perspectives of system informatics
