csp2B: A Practical Approach To Combining CSP and B (1999)

Cached

Download Links

by Michael Butler
Venue: FORMAL ASPECTS OF COMPUTING
Citations:48 - 6 self