jeudi 27 novembre 2008

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

Aucun commentaire: