Pieter W. M. Koopman, Marinus J. Plasmeijer. Testing reactive systems with GAST. In Stephen Gilmore, editor, Revised Selected Papers from the Fourth Symposium on Trends in Functional Programming, TFP 2003, Edinburgh, United Kingdom, 11-12 September 2003. Volume 4 of Trends in Functional Programming, pages 111-129, Intellect, 2003.
@inproceedings{KoopmanP03,
title = {Testing reactive systems with GAST},
author = {Pieter W. M. Koopman and Marinus J. Plasmeijer},
year = {2003},
tags = {testing},
researchr = {https://researchr.org/publication/KoopmanP03},
cites = {0},
citedby = {0},
pages = {111-129},
booktitle = {Revised Selected Papers from the Fourth Symposium on Trends in Functional Programming, TFP 2003, Edinburgh, United Kingdom, 11-12 September 2003},
editor = {Stephen Gilmore},
volume = {4},
series = {Trends in Functional Programming},
publisher = {Intellect},
isbn = {1-84150-122-0},
}