- 2
AP
Andrei Paskevich
2
Documents
Identifiants chercheurs
- tertium
- IdRef : 204772567
Présentation
Publications
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 2
|
Deductive Verification with Ghost Monitors2018
Pré-publication, Document de travail
hal-01926659v1
|
|
Deductive Verification via Ghost Debugging[Research Report] RR-9219, Inria Saclay Ile de France. 2018
Rapport
hal-01907894v1
|