scientific article; zbMATH DE number 827943

zbMATH Open0838.68080MaRDI QIDQ4858905FDOQ4858905

Manfred Broy, Michał Walicki

Publication date: 1 February 1996

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

zbMATH Keywords

verificationdata refinementspecifications

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Cited In (2)

• Datatype laws without signatures
• Non-deterministic data types: Models and implementations

   Recommendations

• Nondeterminism in constructive Z 👍 👎
• Non-deterministic data types: Models and implementations 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Prespecification in data refinement 👍 👎

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)