Temporal verification of higher-order functional programs

Open Webpage

Akihiro Murase, Tachio Terauchi, Naoki Kobayashi, Ryosuke Sato, Hiroshi Unno

Published: 2016, Last Modified: 23 Jul 2025POPL 2016EveryoneRevisionsBibTeXCC BY-SA 4.0