×
  • Reasoning about Functional Programs - Sparkle: a Proof Assistant for Clean

    Maarten de Mol

Click on cover to enlarge.
Buy This Book
From Amazon.
5 - 6Hours to read