Proceedings of the 2nd International Conference on Teaching Formal Methods

• Authors:

• Jeremy Gibbons;José Nuno Oliveira

• Affiliations:

• Computing Laboratory, Oxford University, Oxford, UK OX1 3QD;Departamento de Informática, Universidade do Minho, Braga, Portugal 4710-057

• Venue:
• TFM '09 Proceedings of the 2nd International Conference on Teaching Formal Methods
• Year:
• 2009