Formal Methods : Foundations and ApplicationsTiago Massoni, Mohammad Reza Mousavi · First published 2018Open the Tome