scientific article; zbMATH DE number 3564287
From MaRDI portal
Publication:4136512
zbMath0362.68031MaRDI QIDQ4136512
No author found.
Publication date: 1976
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Proving the correctness of regular deterministic programs: A unifying survey using dynamic logic, Application of modal logic to programming, ``A la Burstall intermittent assertions induction principles for proving inevitability properties of programs, Verifying programs by induction on their data structure: general format and applications
