CSP-OZ: A Combination of Object-Z and CSP (1997)

by Clemens Fischer
Citations:77 - 8 self