Paskevich, Andrei
VIAF ID: 168152138613710981915 ( Personal )
Permalink: http://viaf.org/viaf/168152138613710981915
Preferred Forms
-
- 100 1 _ ‡a Paskevich, Andrei
- 100 1 _ ‡a Paskevich, Andrei
- 100 1 _ ‡a Paskevich, Andrei
Works
Title | Sources |
---|---|
Certification of the transformation of proof tasks. | |
Méthodes et outils pour la spécification et la preuve de propriétés difficiles de programmes séquentiels | |
Methods and tools for specification and proof of difficult properties of sequential programs. | |
Un système de types pragmatique pour la vérification déductive des programmes | |
Verified Software. Theories, Tools, and Experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers |