Tachio Terauchi

Registered user since Tue 23 Dec 2014

Name:Tachio Terauchi
Country:Japan
Affiliation:Waseda University

Contributions

POPL 2023 Modular Primal-Dual Fixpoint Logic Solving for Temporal Verification
Show activities from other conferences

Using general profile