- 1
Jeanine Souquières
1
Documents
Présentation
souquieres
Publications
- 1
- 1
- 1
- 1
- 1
- 1
|
Proving Component Interoperability with B Refinement[Research Report] 2005
Rapport
inria-00000171v1
|