KoopmanP03'

BibTeX

@inproceedings{DBLP:conf/sfp/KoopmanP03,
  author    = {Pieter W. M. Koopman and
               Rinus Plasmeijer},
  title     = {Testing reactive systems with GAST},
  booktitle = {Trends in Functional Programming},
  year      = {2003},
  pages     = {111-129},
  crossref  = {DBLP:conf/sfp/2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/sfp/2003,
  editor    = {Stephen Gilmore},
  title     = {Revised Selected Papers from the Fourth Symposium on Trends
               in Functional Programming, TFP 2003, Edinburgh, United Kingdom,
               11-12 September 2003},
  booktitle = {Trends in Functional Programming},
  publisher = {Intellect},
  series    = {Trends in Functional Programming},
  volume    = {4},
  year      = {2005},
  isbn      = {1-84150-122-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}