DMCA

Mechanical Verification of Transaction Processing Systems

Cached

Download Links

by Dmitri Chkliaev , Jozef Hooman , Peter Van Der Stok
Citations:1 - 0 self