Georges Gonthier

Certified Programs and Proofs: Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings

2013 · ENGLISH · PDF

View details →