Definition and basic properties of the Deva meta-calculus
From MaRDI portal
Publication:688825
DOI10.1007/BF01212485zbMath0783.68031OpenAlexW2023666919MaRDI QIDQ688825
Publication date: 13 March 1994
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01212485
Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01) Theory of software (68N99)
Related Items (1)
Uses Software
Cites Work
This page was built for publication: Definition and basic properties of the Deva meta-calculus