Gustavo Petri
Thesis Info
'Specification and verification of the Java Memory Model for multi-threaded applications' 
Home Institution
Universidad Nacional de San Luis 
 
 
Host Institution
Institut National de la Recherche en Informatique et Automatique (INRIA)