Kees M. van Hee, P. M. P. Rambags, Peter A. C. Verkoulen. Specification and Simulation with ExSpect. In Peter E. Lauer, editor, Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada. Volume 693 of Lecture Notes in Computer Science, pages 296-327, Springer, 1993.
@inproceedings{HeeRV93,
title = {Specification and Simulation with ExSpect},
author = {Kees M. van Hee and P. M. P. Rambags and Peter A. C. Verkoulen},
year = {1993},
tags = {C++},
researchr = {https://researchr.org/publication/HeeRV93},
cites = {0},
citedby = {0},
pages = {296-327},
booktitle = {Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada},
editor = {Peter E. Lauer},
volume = {693},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-56883-2},
}