Jean-Michel Bruel
Jean-Michel Bruel
Home
Publications
Talks
Teachings
Projects
People
CV
Experience
Fun
Contact
Light
Dark
Automatic
Bertrand Meyer
Latest
A contract-based method to specify stimulus-response requirements
Cite
×