Sandrine Blazy

Identifiers

Open LibraryOL8057459A

Top Subjects

Logic programming (1)
Compilers (computer programs) (1)
Computer programming (1)
Programming languages (electronic computers) (1)
Computer programs (1)

Books by Sandrine Blazy

Total count: 4

Interactive Theorem Proving4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings

Springer London, Limited2013-01-01
Program Logics for Certified Compilers

Cambridge University Press2014-01-01
Static Analysis22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings

Springer London, Limited2015-01-01
Verified Software. Theories, Tools, and Experiments8th International Conference, VSTTE 2016, Toronto, on, Canada, July 17-18, 2016, Revised Selected Papers

Springer International Publishing AG2016-01-01