scientific article; zbMATH DE number 3564287
From MaRDI portal
Publication:4136512
zbMATH Open0362.68031MaRDI QIDQ4136512FDOQ4136512
Author name not available (Why is that?)
Publication date: 1976
Title of this publication is not available (Why is that?)
Cited In (4)
- Application of modal logic to programming
- Proving the correctness of regular deterministic programs: A unifying survey using dynamic logic
- ``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
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 Q4136512)
