Registered user since Mon 10 Jun 2019

Name:Takeshi Tsukada
Country:Japan
Affiliation:Chiba University

Contributions

POPL 2022 Software Model-Checking as Cyclic-Proof Search
Show activities from other conferences

POPL 2022-profile
View general profile