An Introduction to Software Verification with Whiley.- Learning Büchi Automata and Its Applications.- Securing Emergent IoT Applications.- Programming Z3.- The Impact of Alan Turing: Formal Methods and Beyond.
Editors: Jonathan P. Bowen, London Southbank University, UK; Zhiming Liu, Southwest University, Chongqing, China; Zili Zhang, Southwest University, Chongqing, China