MSc - Preventing Atomicity Violations with Contracts

Authors

Post-Graduation Jury: João Lourenço
Post-Graduation Supervisor: João Lourenço
Post-Graduation Jury: Armanda Rodrigues
Post-Graduation Supervisor: Carla Ferreira
Post-Graduation by: Diogo Sousa
Post-Graduation Jury: Ankica Barisic