Definition and basic properties of the Deva meta-calculus

DOI10.1007/BF01212485zbMath0783.68031OpenAlexW2023666919MaRDI QIDQ688825

Matthias Weber

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

zbMATH Keywords

formal software development methodsformal specification of software systems

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01) Theory of software (68N99)

Related Items (1)

An approach to literate and structured formal developments

Uses Software

• Automath
• mural

Cites Work

• Logic and Computation
• A framework for defining logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Definition and basic properties of the Deva meta-calculus