195FFFCF-C803-4C70-9518-6330AC729F51Program Verification Techniques for Understanding Security Properties of SoftwareResearch GrantEP/K032542/1798CB33D-C79E-4578-83F2-72606407192CEPSRCINCOME_ACTUAL876542B1FA088C-B6EB-4639-9624-5AAF8A838327Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings9de00df37a4c71607eb406145eb5e2d1Brockschmidt M2016-01-01http://dx.doi.org/10.1007/978-3-662-49674-9_22978-3-662-49673-22731-4383http://dx.doi.org/10.1007/978-3-662-49674-9_22T2: Temporal Property Verification387-393Book Chapter58ca5c84affca4.67328390