Kento Tanahashi

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 2

Top Topics

Cross Media Retrieval

Top Venues

Proc. ACM Program. Lang.

Publications

Naoki Kobayashi, Kento Tanahashi, Ryosuke Sato, Takeshi Tsukada
HFL(Z) Validity Checking for Automated Program Verification. Proc. ACM Program. Lang. 7 (POPL) (2023)
Kento Tanahashi, Naoki Kobayashi, Ryosuke Sato
Automatic HFL(Z) Validity Checking for Program Verification. CoRR (2022)