[isabelle] Dijkstra's Weakest Precondition Semantics



Hello all,

I am wondering if there an Isabelle formalization of Dijkstra's Weakest Precondition semantics.

George.





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.