Projects
News
Home
Details
Projects
Institutions
Hosting Conditions
Project Meetings
Calls (closed)
Grant-Holders
Links

Thesis Title

Specification and verification of the Java Memory Model for multi-threaded applications
Gustavo Petri