| Original language | English |
|---|---|
| Pages (from-to) | 21 |
| Number of pages | 41 |
| Journal | Lecture Notes in Computer Science |
| Volume | 8963 |
| DOIs | |
| Publication status | Published - 2014 |
| Event | 5th International Symposium on Unifying Theories of Programming - , Singapore Duration: 13 May 2014 → 13 May 2014 |
Cite this
Foster, S., Zeyda, F., & Woodcock, J. (2014). Isabelle/UTP: A Mechanised Theory Engineering Framework. Lecture Notes in Computer Science, 8963, 21. https://doi.org/10.1007/978-3-319-14806-9_2
@article{63a53edceec945d4b1bbe30bda57b0a8,
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",
language = "English",
volume = "8963",
pages = "21",
journal = "Lecture Notes in Computer Science",
issn = "0302-9743",
publisher = "Springer Verlag",
}
Foster, S, Zeyda, F & Woodcock, J 2014, 'Isabelle/UTP: A Mechanised Theory Engineering Framework', Lecture Notes in Computer Science, vol. 8963, pp. 21. https://doi.org/10.1007/978-3-319-14806-9_2
Isabelle/UTP: A Mechanised Theory Engineering Framework. / Foster, Simon; Zeyda, Frank; Woodcock, Jim.
In: Lecture Notes in Computer Science, Vol. 8963, 2014, p. 21.Research output: Contribution to journal › Conference article
TY - JOUR
T1 - Isabelle/UTP: A Mechanised Theory Engineering Framework
AU - Foster, Simon
AU - Zeyda, Frank
AU - Woodcock, Jim
PY - 2014
Y1 - 2014
U2 - 10.1007/978-3-319-14806-9_2
DO - 10.1007/978-3-319-14806-9_2
M3 - Conference article
VL - 8963
SP - 21
JO - Lecture Notes in Computer Science
JF - Lecture Notes in Computer Science
SN - 0302-9743
ER -
Foster S, Zeyda F, Woodcock J. Isabelle/UTP: A Mechanised Theory Engineering Framework. Lecture Notes in Computer Science. 2014;8963:21. https://doi.org/10.1007/978-3-319-14806-9_2