Functional Programming Languages for Verification Tools: A Comparison of {ML} and {Haskell}

TitleFunctional Programming Languages for Verification Tools: A Comparison of {ML} and {Haskell}
Publication TypeJournal Article
Year of Publication2005
AuthorsLeucker, M, Noll, T, Stevens, P, Weber, M
JournalSoftware Tools for Technology Transfer (STTT)
Volume7
Pagination184–194
ISSN0890-5401
Bibtex: 
@article {LeuckerNSW04,
	title = {Functional Programming Languages for Verification Tools: A Comparison of {ML} and {Haskell}},
	journal = {Software Tools for Technology Transfer (STTT)},
	volume = {7},
	number = {2},
	year = {2005},
	pages = {184{\textendash}194},
	issn = {0890-5401},
	author = {Martin Leucker and Thomas Noll and Perdita Stevens and Michael Weber}
}