Mechanical Verification of Transaction Processing Systems.

Dmitri Chkliaev, Jozef Hooman, Peter van der Stok

Browse the full ICFEM paper archive.