Automated Technology for Verification and Analysis: 9th International Symposium,

Automated Technology for Verification and Analysis - 9783642243714

Liu - Automated Technology for Verification and Analysis 7th Internat - X555z

Chen - Automated Technology for Verification and Analysis 17th Inter - X555z

Cassez - Automated Technology for Verification and Analysis 12th Int - X555z

Van Hung - Automated Technology for Verification and Analysis 11th I - X555z

Automated Technology for Verification and Analysis : 12th International Sympo...

Automated Technology for Verification and Analysis: 14th International Sympo...