Specification and Simulation with ExSpect. Conferences

Overview
Identity
Additional Document Info
View All

authors

Lauer, Peter Ernst
Hee, Kees M van
Rambags, PMP
Verkoulen, Peter AC

publication date

1993

published in

Functional Programming, Concurrency, Simulation and Automated Reasoning Journal