Specification and Simulation with ExSpect

• Authors:

• Kees M. van Hee;P. M. P. Rambags;Peter A. C. Verkoulen

• Affiliations:

• -;-;-

• Venue:
• Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada
• Year:
• 1993