- 1
AP
Andrei Paskevich
1
Documents
Identifiants chercheurs
- tertium
- IdRef : 204772567
Présentation
Publications
- 1
- 1
- 1
- 1
- 1
- 1
|
Algebraic types and pattern matching in the logical language of the Why verification platform[Research Report] RR-7128, INRIA. 2009
Rapport
inria-00439232v2
|