Open/Cæsar: An open software architecture for verification, simulation, and testing (1998)

by H Garavel
Venue:in Fourth Int. Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS’98