Moverness for Locks and Transactions

2012 Sixth International Symposium on Theoretical Aspects of Software Engineering ◽

10.1109/tase.2012.29 ◽

2012 ◽

Cited By ~ 1

Author(s):

Granville Barnett ◽

Shengchao Qin

Download Full-text