Media type: E-Article Title: Session details: Higher-order model checking and slicing Contributor: Runciman, Colin Published: Association for Computing Machinery (ACM), 2012 Published in: ACM SIGPLAN Notices, 47 (2012) 9 Language: English DOI: 10.1145/3261805 ISSN: 1558-1160; 0362-1340 Keywords: Computer Graphics and Computer-Aided Design ; Software Origination: Footnote: