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) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Martin Clochard' in Google

runs on WebDSL