- Temporal Verification of Higher-order Functional Programs Akihiro Murase Tachio Terauchi Naoki Kobayashi Ryosuke Sato Hiroshi Unno Wed 20 January 2016
- Unboundedness and Downward Closures of Higher-order Pushdown Automata Matthew Hague Jonathan Kochems C.-H. Luke Ong Sat 16 January 2016
- Automating relatively complete verification of higher-order functional programs Hiroshi Unno Tachio Terauchi Naoki Kobayashi Tue 16 April 2013
Library Size: 13G (3 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
