Aarhus Universitets logo
English
Title
tba
Abstract
----------------
Everyone is welcome!
There will be refreshments after the lecture.
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
