Claude Marché
1
Documents
Affiliations actuelles
Publications
- 1
- 1
|
|
Regions and Permissions for Verifying Data Invariants[Research Report] RR-7412, INRIA. 2010, pp.40
Rapport
inria-00525384v1
|