A logic for Miranda
From MaRDI portal
Publication:909443
DOI10.1007/BF01887213zbMath0694.68017OpenAlexW2056010911MaRDI QIDQ909443
Publication date: 1989
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01887213
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)
Related Items
Uses Software
Cites Work