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. Springer 2009 Lecture Notes in Computer Science 5846 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. Springer 2004 Lecture Notes in Computer Science 3294 ISBN 3-540-23611-2 [ contents ]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team