PhD - Analysis and Testing of Concurrent Programs

Authors

Post-Graduation Jury: João Lourenço
Post-Graduation by: Zdenek Letko
Post-Graduation Jury: Tomas Vojnar
Post-Graduation Supervisor: Tomas Vojnar