scientific article; zbMATH DE number 827943

MaRDI QIDQ4858905zbMATHFDO

Authors Michał Walicki, Manfred Broy

Publication date 1 February 1996

zbMATH Keywords

verificationdata refinementspecifications

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• Nondeterminism in constructive Z
• Non-deterministic data types: Models and implementations
• scientific article; zbMATH DE number 3943003
• scientific article; zbMATH DE number 4088907
• Prespecification in data refinement

Cited in

(5)

• scientific article; zbMATH DE number 4088907 (Why is no real title available?)
• Datatype laws without signatures
• Non-deterministic data types: Models and implementations
• Underspecification, inherent nondeterminism and probability in sequence diagrams
• Nondeterminism in constructive Z

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