The Weakest Precondition Calculus: Recursion and Duality (1994)

Cached

Download Links

by Marcello M. Bonsangue , Joost N. Kok
Venue:Formal Aspects of Computing
Citations:7 - 3 self