M. Broy profile picture

M. Broy

Is this your author profile? Create an account to customize it!

Stand Alone

Model-based testing of reactive systems
KORSO
Formal systems specification
Program design calculi
Methods of programming
Deductive program design
Software system reliability and security
Software pioneers
Programming and mathematical method
Mathematical methods in program development
Programming Concepts and Methods: Proceedings of the Ifip Working Group 2.2./2.3 Working Conference on Programming Concepts and Methods Sea of Galil
Engineering Dependable Software Systems
Engineering Dependable Software Systems
Software and systems safety
Engineering Theories of Software Construction

See All