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 |
Isabelle/UTP: A Mechanised Theory Engineering Framework
Simon Foster, Frank Zeyda, Jim Woodcock
Research output: Contribution to journal › Conference article › peer-review