OPEN/CÆSAR: An Open Software Architecture for Verification, Simulation, and Testing (1998)

by H Garavel
Venue:In Proceedings of the First International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS’98, volume 1384 of Lecture Notes in Computer Science