P. M. P. Rambags

1993
1		Kees M. van Hee, P. M. P. Rambags, Peter A. C. Verkoulen: Specification and Simulation with ExSpect. Functional Programming, Concurrency, Simulation and Automated Reasoning 1993: 296-327

Coauthor Index

1	Kees M. van Hee	[1]
2	Peter A. C. Verkoulen	[1]