MSc - Type-based Protocol Conformance and Aliasing Control in Concurrent Java Programs

Authors

Post-Graduation Jury: Rodrigo Rodrigues
Post-Graduation Supervisor: João Costa Seco
Post-Graduation by: Ankica Barisic
Post-Graduation Jury: Ankica Barisic
Post-Graduation Supervisor: Hugo Torres Vieira