Original language | English |
---|---|
Title of host publication | Towards an Encyclopaedia of Proof Systems |
Editors | Bruno Woltzenlogel Paleo |
Place of Publication | London, UK |
Publisher | College Publications |
Number of pages | 1 |
Publication status | Accepted/In press - 2017 |
Refinement of Structured Specifications
Rolf Hennicker, Donald Sannella, Andrzej Tarlecki, Martin Wirsing
Research output: Chapter in Book/Report/Conference proceeding › Chapter