Neeraj Kumar Singh, Mark Lawford, T. S. E. Maibaum, Alan Wassyng. Use of Tabular Expressions for Refinement Automation. In Yassine Ouhammou, Mirjana Ivanovic, Alberto Abelló, Ladjel Bellatreche, editors, Model and Data Engineering - 7th International Conference, MEDI 2017, Barcelona, Spain, October 4-6, 2017, Proceedings. Volume 10563 of Lecture Notes in Computer Science, pages 167-182, Springer, 2017. [doi]
Abstract is missing.