PhD - Foundations of Program Refinement by Calculation

Authors

Post-Graduation by: Ankica Barisic
Post-Graduation Jury: Elisabete Freire
Post-Graduation Jury: Ankica Barisic
Post-Graduation Jury: Ankica Barisic
Post-Graduation Supervisor: Ankica Barisic