Frank Zeyda

Search results

• 2015

  Isabelle/UTP: A Mechanised Theory Engineering Framework

  Foster, S., Zeyda, F. & Woodcock, J., 6 Jan 2015, Unifying Theories of Programming : 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers. Naumann, D. (ed.). Springer, Vol. 8963. p. 21-41 21 p. (Lecture Notes in Computer Science).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

  Open Access

  File