Ales Smrcka
AuthID: R-00H-822
1
TITLE: Verifying Concurrent Programs Using Contracts
AUTHORS: Ricardo J. Dias; Carla Ferreira; Jan Fiedor; João M. Lourenço ; Ales Smrcka; Diogo G. Sousa; Tomás Vojnar;
PUBLISHED: 2017, SOURCE: 2017 IEEE International Conference on Software Testing, Verification and Validation, ICST 2017, Tokyo, Japan, March 13-17, 2017
AUTHORS: Ricardo J. Dias; Carla Ferreira; Jan Fiedor; João M. Lourenço ; Ales Smrcka; Diogo G. Sousa; Tomás Vojnar;
PUBLISHED: 2017, SOURCE: 2017 IEEE International Conference on Software Testing, Verification and Validation, ICST 2017, Tokyo, Japan, March 13-17, 2017
INDEXED IN: 
DBLP
DBLP2
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
