M. Broy

No biography available.

Works (13)

Cover of Software pioneers

Software pioneers

Cover of Formal systems specification

Formal systems specification

Cover of Deductive program design

Deductive program design

Cover of Program design calculi

Program design calculi

Cover of KORSO

Cover of Programming and mathematical method

Programming and mathematical method

Cover of Perspectives of system informatics

Perspectives of system informatics

Cover of Informatikforschung in Deutschland

Informatikforschung in Deutschland

Cover of Model-based testing of reactive systems

Model-based testing of reactive systems

Cover of Mathematical methods in program development

Mathematical methods in program development

Cover of Software system reliability and security

Software system reliability and security

Cover of Methods of programming

Methods of programming

Cover of Formal methods in programming and their applications

Formal methods in programming and their applications