scientific article; zbMATH DE number 3960980

zbMATH Open0596.68028MaRDI QIDQ3730006FDOQ3730006

Authors: Jacques Loeckx 

Publication date: 1986

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

zbMATH Keywords

proofsstepwise refinementmultisorted algebraoperational specificationmechanical correctnessmodular programs

Mathematics Subject Classification ID

Data structures (68P05)

Cited In (4)

• Title not available (Why is that?)
• Formal software development in the Verification Support Environment (VSE)
• Algebraic implementation of abstract data types: a survey of concepts and new compositionality results
• 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 Q3730006)