Ethan K. Jackson, Wolfram Schulte. FORMULA 2.0: A Language for Formal Specifications. In Zhiming Liu, Jim Woodcock, Huibiao Zhu, editors, Unifying Theories of Programming and Formal Engineering Methods - International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures. Volume 8050 of Lecture Notes in Computer Science, pages 156-206, Springer, 2013. [doi]
Abstract is missing.