Sandrine Blazy

No bio available. Add one in Open Library.

Books by Sandrine Blazy (50 max)

+ shelf+ list

Program Logics for Certified Compilers

2014

Andrew W. Appel, Xavier Leroy, Robert Dockins, Lennart Beringer, Sandrine Blazy

+ shelf+ list

Static Analysis 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings

2015

Sandrine Blazy, Thomas Jensen

+ shelf+ list

Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings

2013

Sandrine Blazy, Christine Paulin-Mohring, David Pichardie

+ shelf+ list

Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings (Lecture Notes in Computer Science)

2013

Sandrine Blazy, Christine Paulin-Mohring

+ shelf+ list

Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, on, Canada, July 17-18, 2016, Revised Selected Papers

2016

Sandrine Blazy, Marsha Chechik