Semantics, Orderings and Recursion in the Weakest Precondition Calculus (1993)

Cached

Download Links

by Marcello Bonsangue Cwi , M. Bonsangue , J. Kok , Marcello Bonsangue , Joost N. Kok
Venue:Proceedings Rex Workshop on Semantics: Foundations and Applications, LNCS 666