Diogo G. Sousa
AuthID: R-00H-3N4
1
TÃTULO: Verifying Concurrent Programs Using Contracts
AUTORES: Ricardo J Dias; Carla Ferreira ; Jan Fiedor; Joao M Lourenco ; Ales Smrcka; Diogo G Sousa; Tomas Vojnar;
PUBLICAÇÃO: 2017, FONTE: Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation, ICST 2017
AUTORES: Ricardo J Dias; Carla Ferreira ; Jan Fiedor; Joao M Lourenco ; Ales Smrcka; Diogo G Sousa; Tomas Vojnar;
PUBLICAÇÃO: 2017, FONTE: Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation, ICST 2017
2
TÃTULO: Preventing Atomicity Violations with Contracts PDF
AUTORES: Diogo G. Sousa; Ricardo J. Dias; Carla Ferreira; João Lourenço ;
PUBLICAÇÃO: 2015, FONTE: CoRR, VOLUME: abs/1505.02951
AUTORES: Diogo G. Sousa; Ricardo J. Dias; Carla Ferreira; João Lourenço ;
PUBLICAÇÃO: 2015, FONTE: CoRR, VOLUME: abs/1505.02951
INDEXADO EM: 
DBLP 
arXiv
DBLP arXiv