- 1
AP
Andrei Paskevich
1
Documents
Identifiants chercheurs
- tertium
- IdRef : 204772567
Présentation
Publications
- 1
- 1
- 1
- 1
|
Formalizing Semantics with an Automatic Program Verifier6th Working Conference on Verified Software: Theories, Tools and Experiments (VSTTE), Jul 2014, Vienna, Austria
Communication dans un congrès
hal-01067197v1
|