Aarhus University logo
English
Dansk
It's a pleasure to announce that the New Carlsberg Foundation has generously deposited three of Erik A. Frandsen’s light sculptures in the Nygaard…
Software verification is the application of rigorous mathematical techniques to prove that computer programs do what they are supposed to. The…
Page 117 of 163.