csp2B: A Practical Approach to Combining CSP and B |
| |
Authors: | Michael Butler |
| |
Affiliation: | (1) Department of Electronics and Computer Science, University of Southampton, Southampton, UK., GB |
| |
Abstract: | |
| |
Keywords: | : CSP B Method Refinement |
本文献已被 SpringerLink 等数据库收录! |
|