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

PreviewAttachmentSize
2014-sousa.pdf226.96 KB