scientific article; zbMATH DE number 3990846

zbMATH Open0612.68019MaRDI QIDQ3753471FDOQ3753471

C. Beierle, Angelika Voß

Publication date: 1987

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

Recommendations

• scientific article; zbMATH DE number 3936498
• scientific article; zbMATH DE number 3954253
• scientific article; zbMATH DE number 3898212
• scientific article; zbMATH DE number 1121419
• Vertical implementation

zbMATH Keywords

integrated software development and verification systemstepwise development of implementations

Mathematics Subject Classification ID

Data structures (68P05)

Cited In (3)

• Title not available (Why is that?)
• Title not available (Why is that?)
• 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 Q3753471)