79479952-F3E2-45BD-B91A-9931AFD8606EInterface reasoning for interacting systems (IRIS).Research GrantEP/R006865/1798CB33D-C79E-4578-83F2-72606407192CEPSRCINCOME_ACTUAL6146075EABD4767-272D-4B7D-B4FD-A3A0DCFACB99Effective Verification: Static Analysis Meets Program Logics4318012ae61b9d7d7927edb1df295cbeBrotherston J2019-01-01Other5e5fbda1ad5d75.36880206