scientific article; zbMATH DE number 3808932

zbMATH Open0512.68016MaRDI QIDQ3657412FDOQ3657412

Authors:

Publication date: 1981

Title of this publication is not available (Why is that?)

zbMATH Keywords

partial correctnesstheorem proverpredicate logic programsprogram verification system

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (1)

• Proof methods of declarative properties of definite programs

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3657412)