Refinement of Structured Specifications

Rolf Hennicker, Donald Sannella, Andrzej Tarlecki, Martin Wirsing

Research output: Chapter in Book/Report/Conference proceedingChapter

Original languageEnglish
Title of host publicationTowards an Encyclopaedia of Proof Systems
EditorsBruno Woltzenlogel Paleo
Place of PublicationLondon, UK
PublisherCollege Publications
Number of pages1
Publication statusAccepted/In press - 2017

Cite this