Aarhus University logo
Source: FormaliSE: FME Workshop on Formal Methods in Software Engineering, May 2015 (English), Italy.
Source: The HiPEAC Network of Excellence #42 Newsletter, May 2015 (English), page 4.
Source: The HiPEAC Network of Excellence #42 Newsletter, May 2015 (English), page 10.
