@article{article, title = {{Automated engineering of relational and algebraic methods in Isabelle/HOL (invited tutorial)}}, url = {{}}, year = {{2011}}, month = {{1}}, author = {{Foster S and Struth G and Weber T}}, doi = {{10.1007/978-3-642-21070-9_5}}, volume = {{6663 LNCS}}, journal = {{Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)}}, pages = {{52-67}}, note = {{Accessed on 2025/06/26}}}