scientific article; zbMATH DE number 3514944

zbMATH Open0328.68006MaRDI QIDQ4094352FDOQ4094352

Lech Banachowski

Publication date: 1975

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

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Algorithms in computer science (68W99)

Cited In (2)

• Proving the correctness of regular deterministic programs: A unifying survey using dynamic logic
• Process logic with regular formulas

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