Book

Automated Technology for Verification and Analysis

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