Tag: Georges Gonthier

Certified Programs and Proofs: Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings by Georges Gonthier (PDF)

February 20, 2023

Ebook Info Published: 2013 Number of pages: 324 pages Format: PDF File Size: 3.54 MB Authors: Georges...

Read more

Advertisement

spot_img