scientific article; zbMATH DE number 756075

zbMATH Open0830.68085MaRDI QIDQ4698367FDOQ4698367

Authors: Mike Ainsworth, Peter J. L. Wallis 

Publication date: 17 May 1995

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

Recommendations

• scientific article; zbMATH DE number 139814
• Unifying concurrent and relational refinement
• Laws of data refinement
• Constructive consistency checking for partial specification in Z

zbMATH Keywords

amalgamationco-refinementlarge-scale formal specification

Mathematics Subject Classification ID

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

Cited In (3)

• Joining specification statements
• Copartitions
• Meta-modelling for formal software development

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