(2009). Teaching formal methods: Second international conference, TFM 2009, Eindhoven, the Netherlands, November 2-6, 2009, proceedings / Jeremy Gibbons. José Nuno Oliveira, (eds.).
Chicago-Zitierstil (17. Ausg.)Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, the Netherlands, November 2-6, 2009, Proceedings / Jeremy Gibbons. José Nuno Oliveira, (eds.). 2009.
MLA-Zitierstil (9. Ausg.)Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, the Netherlands, November 2-6, 2009, Proceedings / Jeremy Gibbons. José Nuno Oliveira, (eds.). 2009.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.