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

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

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

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

Automated Technology for Verification and Analysis - 9783030591519

Automated Technology for Verification and Analysis - 9783319681665

Automated Technology for Verification and Analysis - 9783319249520

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