Diogo G. Sousa
AuthID: R-00H-3N4
1
TITLE: Verifying Concurrent Programs Using Contracts
AUTHORS: Ricardo J Dias; Carla Ferreira ; Jan Fiedor; Joao M Lourenco ; Ales Smrcka; Diogo G Sousa; Tomas Vojnar;
PUBLISHED: 2017, SOURCE: Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation, ICST 2017
AUTHORS: Ricardo J Dias; Carla Ferreira ; Jan Fiedor; Joao M Lourenco ; Ales Smrcka; Diogo G Sousa; Tomas Vojnar;
PUBLISHED: 2017, SOURCE: Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation, ICST 2017
2
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
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
DBLP arXiv