Formal Techniques for Distributed Objects, Components, and SystemsSusanne Graf, Mahesh Viswanathan · First published 2015Open the Tome
Automated Technology for Verification and AnalysisSungdeok Cha, Jin-Young Choi, Moonzoo Kim, Mahesh Viswanathan · First published 2008Open the Tome