Mechanical Verification of Transaction Processing Systems (2000)

by D Chkliaev, J Hooman, P van der Stock
Venue:In Proc. 3th International Conference on Formal Engineering Methods (ICFEM 2000