Namjoshi - Hardware and Software Verification and Testing 5th Inter - X555z

Prouff - Constructive Side-Channel Analysis and Secure Design 5th In - X555z

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

D'Souza - Automated Technology for Verification and Analysis 15th In - X555z

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

Dam - Analysis and Verification of Multiple-Agent Languages 5th LOMA - X555z

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

Graf - Automated Technology for Verification and Analysis 4th Intern - X555z