Computer Aided Verification: 3rd International Workshop, CAV '91, Aalborg, D...

Computer Aided Verification : 3rd International Workshop, CAV '91

Computer Aided Verification : Fourth International Workshop, CAV

Dill - Computer Aided Verification 6th International Conference CAV - X555z

Alur - Computer Aided Verification 8th International Conference CAV - X555z

Courcoubetis - Computer Aided Verification 5th International Confere - X555z

Shaz Qadeer / Computer Aided Verification9783642221095

Computer Aided Verification: Fourth International Workshop, Cav '92, Montreal,