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

 url = {{}},

 year = {{2009}},

 month = {{7}},

 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 2025/12/03}}}