×
  • Certified Programs and Proofs: Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings

    Greg Morrisett (auth.) Chris Hawblitzel Dale Miller (eds.)

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