Grant-Holders

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)