Trace Refinement of Action Systems (1994)

Cached

Download Links

by R. J. R. Back , J. von Wright
Venue:Structured Programming
Citations:100 - 20 self