scientific article
From MaRDI portal
Publication:3992667
zbMath0781.68084MaRDI QIDQ3992667
Publication date: 23 January 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (4)
Synthesis of positive logic programs for checking a class of definitions with infinite quantification ⋮ An informal introduction to a high level language with applications to interval mathematics ⋮ The co-invariant generator: An aid in deriving loop bodies ⋮ Algebraic proofs of consistency and completeness
This page was built for publication:
