O p e n /C ^SA R : An open software architecture for verification, sim ulation, and testing (0)

by H Garavel
Venue:In Steffen [23