Aarhus Universitets logo
English
Institut for Datalogi
The graduation ceremonies are the Department's opportunity to congratulate and celebrate our student who have graduated.
Title:Formal reasoning about programs and programming languages
Abstract:It is well known that it is important to ensure that programs, especially…
Side 60 af 106
