Aarhus University logo
Dansk
Title:Formal reasoning about programs and programming languages
Abstract:It is well known that it is important to ensure that programs, especially…
Page 36 of 163.