A categorical treatment of pre- and post-conditions
From MaRDI portal
Publication:1093363
DOI10.1016/0304-3975(87)90025-9zbMath0628.68017MaRDI QIDQ1093363
Publication date: 1987
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(87)90025-9
68Q60: Specification and verification (program logics, model checking, etc.)
18B99: Special categories
Related Items
Cites Work