Engineering Trustworthy Software Systems : Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures - Bowen, Jonathan P.; Liu, Zhiming; Zhang, Zili.; SpringerLink (Online service) (Cham : Springer International Publishing : Imprint: Springer, 2017)
Alan Turing: Founder of Computer Science -- UTP by Example: Designs -- Reasoned Modelling with Event-B -- Java in the Safety-Critical Domain -- Runtime Verification for Linear-Time Temporal Logic -- Formal Reasoning on Infinite Data Values: An Ongoing Quest.
Keywords: Software engineering; Computer programming; Programming languages (Electronic computers).; Computers; Computer logic; Computer system failures; Software Engineering; Programming Techniques; Programming Languages, Compilers, Interpreters; The Computing Profession; Logics and Meanings of Programs; System Performance and Evaluation