scientific article; zbMATH DE number 3626570

MaRDI QIDQ4188712zbMATH OpenFDO

Authors M. H. van Emden

Publication date 1976

zbMATH Keywords

First Order Predicate CalculusFloyd's Partial Correctness ConceptHorn ClausesVerification Conditions

Mathematics Subject Classification ID

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

Cited in

(1)

• scientific article; zbMATH DE number 3797730 (Why is no real title available?)

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 Q4188712)