Functional programming languages for verification tools: a comparison of Standard ML and Haskell

Author: Clarke, Hartel, Martin Leucker, Michael Weber, Perdita Stevens, Stevens, Thomas Noll, Wadler, Wadler
Publisher: Springer Science and Business Media LLC

ABOUT BOOK

Abstract is not available.

Privacy Policy
Powered by: