Peter Dybjer, Herbert P. Sander. A Functional Programming Approach to the Specification and Verification of Concurrent Systems. In Charles Rattray, editor, Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK]. Workshops in Computing, pages 331-343, Springer, 1988.
@inproceedings{DybjerS88,
title = {A Functional Programming Approach to the Specification and Verification of Concurrent Systems},
author = {Peter Dybjer and Herbert P. Sander},
year = {1988},
tags = {program verification, functional programming, programming, systematic-approach},
researchr = {https://researchr.org/publication/DybjerS88},
cites = {0},
citedby = {0},
pages = {331-343},
booktitle = {Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK]},
editor = {Charles Rattray},
series = {Workshops in Computing},
publisher = {Springer},
isbn = {3-540-19581-5},
}