Verification Model Checking and Abstract Interpretation 7th Inter

Hardware and Software Verification and Testing 7th International

Havelund - SPIN Model Checking and Software Verification 7th Interna - X555z

Model-Driven Engineering and Software Development 7th Internation

Business Modeling and Software Design 7th International Symposium

Computer Aided Verification 7th International Conference CAV '95

Verified Software Theories, Tools, and Experiments : 7th International Confer...