Nuno Machado's Homepage
Home
Experience
Publications
Projects
Testing for Race Conditions in Distributed Systems via SMT Solving
J. Pereira
,
N. Machado
,
J. S. Pinto
Mar 16, 2020
PDF
Type
Conference paper
Publication
in
TAP
Date
March, 2020
Cite
×