Skip to main content

A type−directed abstraction refinement approach to higher−order model checking

Steven J. Ramsay‚ Robin P. Neatherway and C.−H. Luke Ong

Book Title
The 41st Annual ACM SIGPLAN−SIGACT Symposium on Principles of Programming Languages‚ POPL '14‚ San Diego‚ CA‚ USA‚ January 20−21‚ 2014
Pages
61–72
Year
2014