scientific article; zbMATH DE number 177527

MaRDI QIDQ4037396zbMATH OpenFDO

Authors D. A. Carrington, K. A. Robinson

Publication date 18 May 1993

zbMATH Keywords

program specificationprogram derivationprogram refinementprogram transformation

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 177257
• scientific article; zbMATH DE number 1104382
• A program refinement tool
• scientific article; zbMATH DE number 3951983
• scientific article; zbMATH DE number 1104377

Cited in

(7)

• scientific article; zbMATH DE number 177257 (Why is no real title available?)
• scientific article; zbMATH DE number 1390335 (Why is no real title available?)
• Refinement calculus: A basis for translation validation, debugging and certification
• scientific article; zbMATH DE number 605806 (Why is no real title available?)
• scientific article; zbMATH DE number 3951983 (Why is no real title available?)
• Computer-aided serendipity
• scientific article; zbMATH DE number 4115923 (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 Q4037396)