Teaching Formal Methods 2008

proccedings

La conférence d'Oxford
La conférence de Ghent
C. Neville Dean, Raymond T. Boute (Eds.): Teaching Formal Methods, CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, LNCS, Springer

Le dernière conférence de Londres
http://www.bcs.org/upload/pdf/ewic_tfm06_synopsis.pdf