conf.researchr.org / Luis M. Carril
Registered user since Mon 12 Oct 2015
Name:Luis M. Carril
Contributions
SEPS 2015 | Author of Interleaving generation for data race and deadlock reproduction within the SEPS-track |
Registered user since Mon 12 Oct 2015
Contributions
SEPS 2015 | Author of Interleaving generation for data race and deadlock reproduction within the SEPS-track |