Martin Clochard. 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). PhD thesis, University of Paris-Saclay, France, 2018. [doi]
No references recorded for this publication.
No citations of this publication recorded.