|
Informatics Report Series
|
|
|
|
|
|
|
|
|
| Title:Functional Programming Languages for Verification Tools: A Comparison of Standard ML and Haskell |
| Authors:
Leucker Martin
; Noll Thomas
; Perdita Stevens
; Weber Michael
|
| Date:Apr 2005 |
| Publication Title:Software Tools for Technology Transfer |
|
Publication Type:Journal Article
|
|
Volume No:7(2)
Page Nos:184-194
|
|
|
- Links To Paper
- No links available
- Bibtex format
- @Article{EDI-INF-RR-0440,
- author = {
Leucker Martin
and Noll Thomas
and Perdita Stevens
and Weber Michael
},
- title = {Functional Programming Languages for Verification Tools: A Comparison of Standard ML and Haskell},
- journal = {Software Tools for Technology Transfer},
- year = 2005,
- month = {Apr},
- volume = {7(2)},
- pages = {184-194},
- }
|
