Formalizing Dijkstra's predicate transformer wp in weak second-order logic

From MaRDI portal
(Redirected from Publication:673132)












This page was built for publication: Formalizing Dijkstra's predicate transformer wp in weak second-order logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q673132)