Revision as of 11:45, 9 March 2006 edit Malcohol (talk \| contribs) Extended confirmed users 1,174 edits m →References: Other author of "Refinement Calculus" book ← Previous edit		Revision as of 02:08, 29 July 2006 edit undo YurikBot (talk \| contribs) 278,165 edits m robot Adding: de:Wp-Kalkül Next edit →
Line 32: [[Category:Logic in computer science]] [[Category:Theoretical computer science]] [[de:Wp-Kalkül]]

Predicate transformer semantics: Difference between revisions