- 1
AP
Andrei Paskevich
1
Documents
Identifiants chercheurs
- tertium
- IdRef : 204772567
Présentation
Publications
- 1
- 1
- 1
- 1
- 1
|
The Spirit of Ghost CodeCAV 2014, Computer Aided Verification - 26th International Conference, Jul 2014, Vienna Summer Logic 2014, Austria
Communication dans un congrès
hal-00873187v3
|