scientific article; zbMATH DE number 862937

MaRDI QIDQ4871703zbMATH OpenFDO

Authors Yves Bertot

Publication date 2 April 1996

zbMATH Keywords

marking functionprogram verification

Mathematics Subject Classification ID

Logic in computer science (03B70) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1377354
• Program verification. Fundamental issues in computer science
• scientific article; zbMATH DE number 1241702

Cited in

(1)

• Origin tracking

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