Aarhus University logo
Dansk
Department of Computer Science
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…
Page 63 of 190
