iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://doi.org/10.1109/ICFEM.1997.630436
Refinement and verification of concurrent systems specified in Object-Z and CSP | IEEE Conference Publication | IEEE Xplore
