Higher-Order Model Checking: An Overview
2016 ◽
Vol 3
(4)
◽
pp. 13-31
◽
Martin Hofmann
◽
Jeremy Ledent
Steven J. Ramsay
◽
Robin P. Neatherway
◽
C.-H. Luke Ong
2011 ◽
Vol 46
(6)
◽
pp. 222-233
◽
Naoki Kobayashi
◽
Ryosuke Sato
◽
Hiroshi Unno
Robin P. Neatherway
◽
C.-H. Luke Ong
Robin P. Neatherway
◽
Steven J. Ramsay
◽
Chih-Hao Luke Ong