Clochard, Martin
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
Martin Clochard Ph.D. Université Paris-Sud XI - Orsay and Université Paris-Saclay 2018
VIAF ID: 79152864207904822568 (Personal)
Permalink: http://viaf.org/viaf/79152864207904822568
Preferred Forms
Works
| Title | Sources |
|---|---|
| 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. |
|
