Ricardo J. Dias


AuthID: R-00H-3N5

Publications Requiring Validation

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

footer slogan

Useful Links

Get Help

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