iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://doi.org/10.1109/APSEC.2001.991513
Model checking Object-Z classes: Some experiments with FDR | IEEE Conference Publication | IEEE Xplore