1
TITLE: Preventing Atomicity Violations with Contracts PDF
AUTHORS: Diogo G. Sousa; Ricardo J. Dias; Carla Ferreira; João Lourenço ;
PUBLISHED: 2015, SOURCE: CoRR, VOLUME: abs/1505.02951
INDEXED IN: DBLP arXiv