Preventing Atomicity Violations with Contracts
- Citation:
- Sousa, D., J. M. Lourenço, C. Ferreira, and R. J. Dias,
Preventing Atomicity Violations with Contracts,
, no. UNL-2014: Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, 2014.
Abstract:
n/a
Notes:
n/a