Carla Ferreira


AuthID: R-00H-3N6

Publications Awaiting Confirmation

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

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service