M
M. Broy
1949
19 works on record
Works
Perspectives of system informatics
Model-based testing of reactive systems
Software system reliability and security
Informatikforschung in Deutschland
Formal systems specification
Formal methods in programming and their applications
Software pioneers
Programming and mathematical method
Methods of programming
Program design calculi
Deductive program design
KORSO
Program construction
Mathematical methods in program development
Software and systems safety
Software and systems safety
Calculational system design
Calculational system design
Künstliche Intelligenz
Künstliche Intelligenz
Informatik und Mathematik
Informatik und Mathematik
Transformation parallel ablaufender Programme
Transformation parallel ablaufender Programme