Preventing Atomicity Violations with Contracts

Diogo G. Sousa, Ricardo J. Dias, Carla Ferreira, João M. Lourenço
Posted Jan 1, 2015
Cite Link