Mukund - Automated Technology for Verification and Analysis 10th Int - X555z

Wang - Algorithms and Architectures for Parallel Processing 15th Int - X555z

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

Automated Technology for Verification and Analysis - 9783031787492

Bultan - Automated Technology for Verification and Analysis 9th Inte - X555z

Finkbeiner - Automated Technology for Verification and Analysis 13th - X555z

Namjoshi - Automated Technology for Verification and Analysis 5th In - X555z

Cha - Automated Technology for Verification and Analysis 6th Interna - X555z