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]
@inproceedings{FosterZW14,
title = {Isabelle/UTP: A Mechanised Theory Engineering Framework},
author = {Simon Foster and Frank Zeyda and Jim Woodcock},
year = {2014},
doi = {10.1007/978-3-319-14806-9_2},
url = {http://dx.doi.org/10.1007/978-3-319-14806-9_2},
researchr = {https://researchr.org/publication/FosterZW14},
cites = {0},
citedby = {0},
pages = {21-41},
booktitle = {Unifying Theories of Programming - 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers},
editor = {David Naumann},
volume = {8963},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-14805-2},
}