scientific article; zbMATH DE number 3862413

zbMATH Open0542.68008MaRDI QIDQ3330486FDOQ3330486

Authors: Hieronymus Gruber 

Publication date: 1984

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

Recommendations

• scientific article; zbMATH DE number 46741
• scientific article; zbMATH DE number 3960970
• Systematic program development
• scientific article; zbMATH DE number 43622
• scientific article; zbMATH DE number 108598

zbMATH Keywords

stepwise refinementsequential systems

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

Cited In (2)

• 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 Q3330486)