404 File not Found
Could not find the file: /59465/1.haslightboxThumbnailVersion/SL_ID_model_checking.pdf
The file you are trying to access may be related to this item:
Brotherston, James and Gorogiannis, Nikos and Kanovich, Max and Rowe, Reuben (2016) Model checking for symbolic-heap separation logic with inductive predicates. In: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. POPL Principles of Programming Languages . ACM, New York, USA, pp. 84-96. ISBN 978-1-4503-3549-2. (doi:10.1145/2914770.2837621) (KAR id:59465)
If you reached this page by following a link within the repository, please contact the Kent Academic Repository administration. Otherwise, please check that you have typed the URL in correctly, or contact the person or site that supplied you with this URL.