Functional programming languages for verification tools: experiences with {ML} and {H}askell

TitleFunctional programming languages for verification tools: experiences with {ML} and {H}askell
Publication TypeConference Paper
Year of Publication2001
AuthorsLeucker, M, Noll, T, Stevens, P, Weber, M
Conference NameProceedings of the 3rd Scottish Functional Programming Workshop
Conference LocationUniversity of Stirling
Bibtex: 
@inproceedings {LNSW01,
	title = {Functional programming languages for verification tools: experiences with {ML} and {H}askell},
	booktitle = {Proceedings of the 3rd Scottish Functional Programming Workshop},
	year = {2001},
	address = {University of Stirling},
	author = {Martin Leucker and Thomas Noll and Perdita Stevens and Michael Weber}
}
Postscript: