Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL - (Invited Tutorial) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Simon Foster' in GoogleThis author has not been identified. Look up 'Georg Struth' in GoogleThis author has not been identified. Look up 'Tjark Weber' in Google

runs on WebDSL