Automated Technology for Verification and Analysis

by Sungdeok Cha, Jin-Young Choi, Moonzoo Kim, Mahesh Viswanathan