Leucker M.

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

ENGLISH · PDF

View details →