Sm@RT Research Team
Sm@RT Research Team
Home
People
Publications
Talks
Projects
Contact
Light
Dark
Automatic
"Auto-Proof"
A contract-based method to specify stimulus-response requirements
Alexandr Naumchev
,
Manuel Mazzara
,
Bertrand Meyer
,
Jean-Michel Bruel
,
Florian Galinier
,
Sophie Ebersold-Marcaillou
PDF
Cite
Cite
×