Computer Aided Verification - 9783319415277

Chaudhuri - Computer Aided Verification 28th International Conferenc - X555z

Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Ge

Computer Aided Verification 11th International Conference CAV'99

Computer-Aided Reasoning: An Approach

Computer-Aided Manufacturing (Prentice Hall International Series in Industrial a

Computing and Combinatorics 28th International Conference COCOON

Conceptual Modeling - ER 2009: 28th International Conference on Conceptual M...