Claude Kirchner
1
Documents
Identifiants chercheurs
- claudekirchner
- 0000-0002-1686-1046
- IdRef : 032478739
Présentation
Publications
- 1
- 1
- 1
- 1
|
The QSL platform at LORIAFirst QPQ Workshop on Deductive Software Components, 2003, Miami, Floride, 3 p
Communication dans un congrès
inria-00099497v1
|