scientific article; zbMATH DE number 1424020

zbMATH Open0944.68163MaRDI QIDQ4945210FDOQ4945210

Authors: Mark Staples 

Publication date: 23 March 2000

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

Recommendations

• A Weakest Precondition Semantics for Z
• Refinement concepts formalised in higher order logic
• scientific article; zbMATH DE number 1927431
• scientific article; zbMATH DE number 1303996
• scientific article; zbMATH DE number 1863389

zbMATH Keywords

program refinement language

Mathematics Subject Classification ID

Cited In (1)

• Isabelle/ZF

Uses Software

• Isabelle

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