Abstract is missing.
- Jifeng He at Oxford and Beyond: An AppreciationJonathan P. Bowen, Huibiao Zhu. 3-18 [doi]
- UTP, Circus, and IsabelleJim Woodcock 0001, Ana Cavalcanti 0001, Simon Foster 0001, Marcel Oliveira, Augusto Sampaio, Frank Zeyda. 19-51 [doi]
- Linking Formal Methods in Software Development - A Reflection on the Development of rCOSZhiming Liu 0001. 52-84 [doi]
- Consciousness by DegreeYifeng Chen, Jeff W. Sanders. 87-109 [doi]
- Specifying and Reasoning About Shared-Variable ConcurrencyIan J. Hayes, Cliff B. Jones, Larissa A. Meinicke. 110-135 [doi]
- The Consensus Machine: Formalising Consensus in the Presence of Malign AgentsA. W. Roscoe 0001, Pedro Antonino, Jonathan Lawrence. 136-162 [doi]
- Domain Modelling: A Foundation for Software DevelopmentDines Bjørner. 165-210 [doi]
- Concurrent HyperpropertiesBernd Finkbeiner, Ernst-Rüdiger Olderog. 211-231 [doi]
- Characterizations of Parallel Real-Time WorkloadsXu Jiang 0004, Jinghao Sun, Wang Yi 0001. 235-256 [doi]
- Towards Efficient Data-Flow Test Data GenerationTing Su 0001, Chengyu Zhang 0001, Yichen Yan, Lingling Fan 0003, Yang Liu 0003, Zhoulai Fu, Zhendong Su 0001. 257-293 [doi]
- Assume-Guarantee Reasoning for Additive Hybrid BehaviourPieter J. L. Cuijpers, Jonas Hansen, Kim G. Larsen. 297-322 [doi]
- Time: It is only Logical!Frédéric Mallet. 323-347 [doi]
- Applying Formal Verification to an Open-Source Real-Time Operating SystemAndrew Butterfield, Frédéric Tuong. 348-366 [doi]
- KnowLang - A Formal Specification Model for Self-adaptive SystemsMike Hinchey, Emil Vassev. 367-392 [doi]
- A Coq Implementation of the Program Algebra in Jifeng He's New Roadmap for Linking Theories of ProgrammingRundong Mu, Qin Li. 395-412 [doi]