Handbook of Software EngineeringSungdeok Cha, Richard N. Taylor, Kyochul Kang · First published 2019Open the Tome
Automated Technology for Verification and AnalysisSungdeok Cha, Jin-Young Choi, Moonzoo Kim, Mahesh Viswanathan · First published 2008Open the Tome
