Functional programming languages for verification tools: experiences with {ML} and {H}askell
| Title | Functional programming languages for verification tools: experiences with {ML} and {H}askell |
| Publication Type | Conference Paper |
| Year of Publication | 2001 |
| Authors | Leucker, M, Noll, T, Stevens, P, Weber, M |
| Conference Name | Proceedings of the 3rd Scottish Functional Programming Workshop |
| Conference Location | University 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:
