Volver atrás Publicación
Bernabeu Aubán José Manuel, Bataller Mascarell Jordi
1998
PROVING CORRECTNESS OF SHARED MEMORY IMPLEMENTATIONS