On Algebra of Program Correctness and Incorrectness

First Author: Möller B

Attributed to: Interface reasoning for interacting systems (IRIS). funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/978-3-030-88701-8_20

Publication URI: http://dx.doi.org/10.1007/978-3-030-88701-8_20

Type: Book Chapter

Book Title: Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings (2021)

Page Reference: 325-343

ISSN: 1015-1621