MSc - Detecting Anomalies in Transactional Memory Programs

Authors

Post-Graduation Jury: João Lourenço
Post-Graduation Supervisor: João Lourenço
Post-Graduation Jury: António Ravara
Post-Graduation by: Vasco Pessanha
Post-Graduation Jury: Paolo Romano