Formal Methods and Software EngineeringShang-Wei Lin, Zhe Hou, Brendan Mahoney · First published 2020Open the Tome