Using the Refinement Calculus for Dataflow Processes (1994)

Cached

Download Links

by Brendan P. Mahony
Venue:IN PROC. SECOND AUSTRALASIAN REFINEMENT WORKSHOP
Citations:16 - 2 self