Are High Level Programming Languages for Multicore and Safety Critical Converging? af Bent Thomsen, CISS/AAU
20091128 func prog