450ED8FE-1BF4-4E27-868E-2F8CED6C332BCamFort: Automated evolution and verification of computational science modelsResearch GrantEP/M026124/1798CB33D-C79E-4578-83F2-72606407192CEPSRCINCOME_ACTUAL54208261056F1F-350C-4962-8D68-7892EB350C88Scrap Your Reprinter: A Datatype Generic Algorithm for Layout-Preserving Refactoringe2351757960c9ee613c2d9c7891958c5Clark H2017-01-01https://www.cs.kent.ac.uk/people/staff/dao7/publ/reprinter2017.pdfConference/Paper/Proceeding/Abstract5c69b908a45522.75990666