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

View PDF

Download Links

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