scientific article; zbMATH DE number 3514945

zbMATH Open0328.68007MaRDI QIDQ4094353FDOQ4094353

Authors: 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 (1)

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

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