@article{Matichuk_MW_16, doi = {10.1007/s10817-015-9360-2}, month = mar, paperurl = {https://trustworthy.systems/publications/nicta_full_text/8465.pdf}, journal = {Journal of Automated Reasoning}, year = {2016}, keywords = {isabelle, eisbach, proof automation, sel4, l4.verified}, volume = {56}, title = {Eisbach: A Proof Method Language for Isabelle}, number = {3}, author = {Matichuk, Daniel and Murray, Toby and Wenzel, Makarius}, pages = {261--282} }