@article{article, title  = {{Automated verification of refinement laws}},

 url = {{http://eprints.whiterose.ac.uk/10049/ }},

 year = {{2009}},

 month = {{2}},

 author = {{Hofner P and Struth G and Sutcliffe G}},

 doi = {{10.1007/s10472-009-9151-8}},

 volume = {{55}},

 journal = {{ANN MATH ARTIF INTEL}},

 issue = {{1-2}},

 pages = {{35-62}},

 note = {{Accessed on 2024/12/22}}}