Conference item
Teaching Formal Methods
- Abstract:
-
This volume contains the proceedings of TFM 2009, the Second International FME Conference on Teaching Formal Methods , organized by the Subgroup of Education of the Formal Methods Europe (FME) association. The conference took place as part of the first Formal Methods Week (FMWeek), held in Eindhoven, The Netherlands, in November 2009.
TFM 2009 was a one-day forum in which to explore the successes and failures of Formal Methods (FM) education, and to promote cooperative projects to further education and training in FMs. The organizers gathered lecturers, teachers, and industrial partners to discuss their experience, present their pedagogical methodologies, and explore best practices.
![\"\"](\"http://www.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/tfm2009.jpg\")
Actions
Access Document
- Files:
-
-
(Preview, pdf, 80.6KB, Terms of use)
-
- Publisher copy:
- 10.1007/978-3-642-04912-5
- Host title:
- Teaching Formal Methods
- Volume:
- 5846
- Publication date:
- 2009-01-01
- DOI:
- UUID:
-
uuid:e5b17320-23cf-471b-8183-35ca7dcc20c7
- Local pid:
-
cs:3341
- Deposit date:
-
2015-03-12
- ARK identifier:
Terms of use
- Copyright date:
- 2009
If you are the owner of this record, you can report an update to it here: Report update to this record