Rauch C, Goncharov S, Schröder L (2017)
Publication Language: English
Publication Type: Conference contribution, Original article
Publication year: 2017
Publisher: Springer
Pages Range: 208--222
Conference Proceedings Title: Recent Trends in Algebraic Development Techniques: 23rd IFIP WG 1.3 International Workshop, WADT 2016, Revised Selected Papers
DOI: 10.1007/978-3-319-72044-9_14
APA:
Rauch, C., Goncharov, S., & Schröder, L. (2017). Generic Hoare Logic for Order-Enriched Effects with Exceptions. In James P, Roggenbach M (Eds.), Recent Trends in Algebraic Development Techniques: 23rd IFIP WG 1.3 International Workshop, WADT 2016, Revised Selected Papers (pp. 208--222). Springer.
MLA:
Rauch, Christoph, Sergey Goncharov, and Lutz Schröder. "Generic Hoare Logic for Order-Enriched Effects with Exceptions." Proceedings of the Recent Trends in Algebraic Development Techniques: 23rd IFIP WG 1.3 International Workshop, WADT 2016 Ed. James P, Roggenbach M, Springer, 2017. 208--222.
BibTeX: Download