scientific article; zbMATH DE number 4022610

MaRDI QIDQ3765227zbMATH OpenFDO

Authors V. A. Billig

Publication date 1985

zbMATH Keywords

development of programsDijkstra's weakest preconditionlogical calculus

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 3917681
• scientific article; zbMATH DE number 3960970
• Systematic program development
• Weakest Preconditions for High-Level Programs
• scientific article; zbMATH DE number 3974258

Cited in

(1)

• scientific article; zbMATH DE number 5199012 (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 Q3765227)