A language of specified programs
From MaRDI portal
Publication:2265800
DOI10.1016/0167-6423(85)90004-8zbMath0559.68023MaRDI QIDQ2265800
Publication date: 1985
Published in: Science of Computer Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0167-6423(85)90004-8
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Convolution as a Unifying Concept, Developments in concurrent Kleene algebra, Probabilistic rely-guarantee calculus, Proof obligations for blocks and procedures, Inductive assertion method for logic pograms, Exploring an Interface Model for CKA