Arnaud Lanoix
1
Documents
Publications
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
An Operator-based Approach to Incremental Development of Conform Protocol State MachinesTrustworthy Software 2006, May 2006, Saarbrücken, Germany. pp.14
Communication dans un congrès
inria-00001263v1
|