Home
Random

Log in

Settings

About English Wikipedia @ Freddythechick

English Wikipedia @ Freddythechick

Weakest precondition calculus

Language
Watch
View source

Redirect page

Redirect to:

Predicate transformer semantics

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

Last edited on 11 June 2017, at 10:21

Languages

This page is not available in other languages.

English Wikipedia @ Freddythechick

This page was last edited on 11 June 2017, at 10:21.
Content is available under Creative Commons Attribution-ShareAlike 4.0 unless otherwise noted.

About English Wikipedia @ Freddythechick
Desktop