MSc - Linguagem de Especificação Leve Hoare-Separação para Java

Authors

Post-Graduation Jury: Luis Caires
Post-Graduation Supervisor: Luis Caires
Post-Graduation by: Tiago Santos
Post-Graduation Jury: Pedro Barahona
Post-Graduation Jury: Ankica Barisic