438A64F7-10A8-4996-A709-04EE1AAE0410REVES: REasoning in VErification and SecurityResearch GrantEP/K032674/1798CB33D-C79E-4578-83F2-72606407192CEPSRCINCOME_ACTUAL747290B2CDA4AD-1641-4092-86D2-932D283A9CD0Coming to terms with quantified reasoningACM SIGPLAN Noticese3c32984a1102b739d74d277487f8481Kovács L2017-01-01http://dx.doi.org/10.1145/3093333.3009887http://dx.doi.org/10.1145/3093333.30098871Journal Article/Review5aaacdc2780a67.13697292