Computer Aided Verification - 9783642314230

Hall - Digital Libraries for Open Knowledge 24th International Confe - X555z

Gaj - Computer Networks 24th International Conference CN 2017 Lade - X555z

Courcoubetis - Computer Aided Verification 5th International Confere - X555z

Lahiri - Computer Aided Verification 32nd International Conference - X555z

Kroening - Computer Aided Verification 27th International Conference - X555z