Making sense of recursion patterns

Paul A. Bailes, Leighton Brough. Making sense of recursion patterns. In Stefania Gnesi, Stefan Gruner, Nico Plat, Bernhard Rumpe, editors, Proceedings of the First International Workshop on Formal Methods in Software Engineering - Rigorous and Agile Approaches, FormSERA 2012, Zurich, Switzerland, June 2, 2012. pages 16-22, IEEE, 2012. [doi]

Authors

Paul A. Bailes

This author has not been identified. Look up 'Paul A. Bailes' in Google

Leighton Brough

This author has not been identified. Look up 'Leighton Brough' in Google