Automated Technology for Verification and AnalysisYu-Fang Chen, Chih-Hong Cheng, Javier Esparza · First published 2019Open the Tome
