Isabelle/UTP: A Mechanised Theory Engineering Framework

Simon Foster, Frank Zeyda, Jim Woodcock

Research output: Contribution to journal › Conference article

Original language	English
Pages (from-to)	21
Number of pages	41
Journal	Lecture Notes in Computer Science
Volume	8963
DOIs	https://doi.org/10.1007/978-3-319-14806-9_2
Publication status	Published - 2014
Event	5th International Symposium on Unifying Theories of Programming - , Singapore Duration: 13 May 2014 → 13 May 2014

Cite this

@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",

note = "5th International Symposium on Unifying Theories of Programming, UTP 2014 ; Conference date: 13-05-2014 Through 13-05-2014",

}

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

T2 - 5th International Symposium on Unifying Theories of Programming

Y2 - 13 May 2014 through 13 May 2014

ER -