scientific article; zbMATH DE number 177527

zbMATH Open0765.68117MaRDI QIDQ4037396FDOQ4037396

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

Publication date: 18 May 1993

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

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

zbMATH Keywords

program specificationprogram derivationprogram refinementprogram transformation

Mathematics Subject Classification ID

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

Cited In (7)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Computer-aided serendipity
• Title not available (Why is that?)
• Refinement calculus: A basis for translation validation, debugging and certification
• Title not available (Why is that?)
• Title not available (Why is that?)

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)