S
Sandrine Blazy
5 works on record
Works

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

Program Logics for Certified Compilers
Static Analysis
Static Analysis
2015
Verified Software. Theories, Tools, and Experiments
Verified Software. Theories, Tools, and Experiments
Interactive Theorem Proving
Interactive Theorem Proving