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

    Daniel R. Licata Guillaume Brunerie (auth.) Georges Gonthier Michael Norrish (eds.)

Click on cover to enlarge.
7 - 8Hours to read