×
  • Functional programming languages for verification tools.A comparison of Standard ML and Haskell

    Leucker M.

Click on cover to enlarge.
Buy This Book
From Amazon.
0 - 1Hours to read