Weakest preconditions for progress
From MaRDI portal
Publication:1189258
DOI10.1007/BF01212336zbMath0753.68068OpenAlexW2101027003MaRDI QIDQ1189258
Johan J. Lukkien, Jan L. A. van de Snepscheut
Publication date: 26 September 1992
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01212336
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
Uses Software
Cites Work