scientific article; zbMATH DE number 3990844

zbMATH Open0612.68017MaRDI QIDQ3753469FDOQ3753469

Dmitriy Yu. Penkin

Publication date: 1987

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

Recommendations

• A mechanism for the formal description of dynamic systems
• Formal models of stepwise refinements of programs
• scientific article; zbMATH DE number 4043304
• scientific article; zbMATH DE number 3936487
• Transformational programming and the derivation of algorithms

zbMATH Keywords

structural programmingformal specification of program modules

Mathematics Subject Classification ID

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

Cited In (2)

• Title not available (Why is that?)
• A mechanism for the formal description of dynamic systems

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