Blazy, Sandrine
VIAF ID: 7138165326563616290007 ( Personal )
Permalink: http://viaf.org/viaf/7138165326563616290007
Preferred Forms
- 100 1 _ ‡a Blazy, Sandrine
Works
Title | Sources |
---|---|
Interactive theorem proving : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings | |
Program Logics for Certified Compilers | |
La provocation au suicide et la loi à travers l'exemple du livre "suicide mode d'emploi" | |
La specialisation de programmes pour l'aide a la maintenance du logiciel | |
Static Analysis : 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings | |
Verified Software. Theories, Tools, and Experiments : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers | |
Vieillir à la campagne : les personnes âgées et le pouvoir local |