Regulating belief
Are High Level Programming Languages for Multicore and Safety Critical Converging? af Bent Thomsen, CISS/AAU
Trends in Programming Technology you might want to keep an eye on af Bent Thomsen, AAU
Uzi Vishkin Electrical and Computer Engineering Dept