Ales Smrcka
AuthID: R-00H-822
1
TÃTULO: Verifying Concurrent Programs Using Contracts
AUTORES: Ricardo J. Dias; Carla Ferreira; Jan Fiedor; João M. Lourenço ; Ales Smrcka; Diogo G. Sousa; Tomás Vojnar;
PUBLICAÇÃO: 2017, FONTE: 2017 IEEE International Conference on Software Testing, Verification and Validation, ICST 2017, Tokyo, Japan, March 13-17, 2017
AUTORES: Ricardo J. Dias; Carla Ferreira; Jan Fiedor; João M. Lourenço ; Ales Smrcka; Diogo G. Sousa; Tomás Vojnar;
PUBLICAÇÃO: 2017, FONTE: 2017 IEEE International Conference on Software Testing, Verification and Validation, ICST 2017, Tokyo, Japan, March 13-17, 2017
INDEXADO EM: 
DBLP
DBLP2
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
