Simon Foster, Frank Zeyda, Jim Woodcock. Isabelle/UTP: A Mechanised Theory Engineering Framework. In David Naumann, editor, Unifying Theories of Programming - 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers. Volume 8963 of Lecture Notes in Computer Science, pages 21-41, Springer, 2014. [doi]
Abstract is missing.