Doron A. Peled,Yih-Kuen Tsay

• Automated Technology for Verification and Analysis