Preventing atomicity violations with contracts

Diogo Miguel Gaspar De Sousa
Posted Jan 1, 2013
Link