Teaching Formal Methods (TFM) is a series of meetings, held in association with Formal Methods Europe and its FM conference series. It has produced published proceedings (e.g., for TFM2004[1]). The meetings include presentations that consider educational issues with respect to formal methods.

See also Edit

References Edit

  1. Teaching Formal Methods: CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18–19, 2004. Proceedings (Lecture Notes in Computer Science) by C. Neville Dean and Raymond T. Boute (editors). Springer-Verlag, 2004. ISBN 3540236112 (order from Amazon USA or Amazon UK).

External links Edit

Ad blocker interference detected!

Wikia is a free-to-use site that makes money from advertising. We have a modified experience for viewers using ad blockers

Wikia is not accessible if you’ve made further modifications. Remove the custom ad blocker rule(s) and the page will load as expected.