Simon Foster, Georg Struth, Tjark Weber. Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL - (Invited Tutorial). In Harrie C. M. de Swart, editor, Relational and Algebraic Methods in Computer Science - 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011. Proceedings. Volume 6663 of Lecture Notes in Computer Science, pages 52-67, Springer, 2011. [doi]
Abstract is missing.