P. Van Roy, LINF1251 1 LINF1251: Sémantique Formelle Peter Van Roy Département d’Ingénierie Informatique, UCL [email protected].