Pierre-Antoine Champin
1
Documents
Présentation
<http://champin.net/>
<http://champin.net/>
Publications
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
A Trace-Based Systems Framework : Models, Languages and Semantics2009
Pré-publication, Document de travail
inria-00363260v2
|