MetaSoft primer. Towards a metalanguage for applied denotational semantics
From MaRDI portal
Publication:1095634
zbMath0632.68003MaRDI QIDQ1095634
Publication date: 1987
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Specification and verification (program logics, model checking, etc.) (68Q60) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Related Items (2)
Two over three: a two-valued logic for software specification and validation over a three-valued predicate calculus ⋮ A guided tour of the mathematics of MetaSoft '88
This page was built for publication: MetaSoft primer. Towards a metalanguage for applied denotational semantics
