Program inversion in the refinement calculus
From MaRDI portal
Publication:750160
DOI10.1016/0020-0190(91)90141-4zbMath0713.68035MaRDI QIDQ750160
Publication date: 1991
Published in: Information Processing Letters (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0020-0190(91)90141-4
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items