Aarhus Universitets logo
English
Title:Formal reasoning about programs and programming languages
Abstract:It is well known that it is important to ensure that programs, especially…
Side 44 af 90