scientific article
From MaRDI portal
Publication:3783490
zbMath0642.68002MaRDI QIDQ3783490
Publication date: 1983
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) General topics in the theory of software (68N01) Theory of computing (68Q99)
Related Items (6)
Annotations in formal specifications and proofs ⋮ Schema induction for logic program synthesis ⋮ Synthetic programming ⋮ An abstract formalization of correct schemas for program synthesis ⋮ Top-down synthesis of divide-and-conquer algorithms ⋮ Logical debugging
This page was built for publication:
