scientific article
From MaRDI portal
Publication:3691667
zbMATH Open0574.03044MaRDI QIDQ3691667
Publication date: 1985
Title of this publication is not available (Why is that?)
Related Items (3)
Dual axiomatics ⋮ Theories for mechanical proofs of imperative programs ⋮ From program verification to program synthesis
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 Q3691667)
