Teaching Formal Methods

TFM 2009: Eindhoven, The Netherlands

Jeremy Gibbons, José Nuno Oliveira (Eds.): Teaching Formal Methods, Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings. Lecture Notes in Computer Science 5846 Springer 2009, ISBN 978-3-642-04911-8
Contents

TFM 2004: Ghent, Belgium

C. Neville Dean, Raymond T. Boute (Eds.): Teaching Formal Methods, CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004, Proceedings. Lecture Notes in Computer Science 3294 Springer 2004, ISBN 3-540-23611-2
Contents

Last update Sun May 19 23:39:11 2013 CET by the DBLP Team —

This material is Open Data

Data released under the ODC-BY 1.0 license — See also our legal information page