APA (7th ed.) Citation

(2009). Teaching formal methods: Second International Conference, TFM 2009, Eindhoven, the Netherlands, November 2-6, 2009, proceedings / Jeremy Gibbons, José Nuno Oliveira (eds.).

Chicago Style (17th ed.) Citation

Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, the Netherlands, November 2-6, 2009, Proceedings / Jeremy Gibbons, José Nuno Oliveira (eds.). 2009.

MLA (9th ed.) Citation

Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, the Netherlands, November 2-6, 2009, Proceedings / Jeremy Gibbons, José Nuno Oliveira (eds.). 2009.

Warning: These citations may not always be 100% accurate.