Weakest precondition

This is the current revision of this page, as edited by imported>Jpbowen at 15:43, 21 September 2010 (Narrowed category). The present address (URL) is a permanent link to this version.

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Redirect page

Redirect to:

Predicate transformer semantics

Retrieved from "https://enwiki.freddythechick.net/index.php?title=Weakest_precondition&oldid=7771410"