Functional programming languages for verification tools.A comparison of Standard ML and Haskell
- Author
- Leucker M.
- Language
- English
- Page
- 11
- File Type
- pdf
- File Size
- 224.2 KiB
How to Download?!!!
Just click on START button on Telegram Bot