On Logic Programming and the Refinement Calculus: Semantics Based . . . (1990)

Cached

Download Links

by Joost N. Kok , Joost N. Kok
Citations:2 - 0 self