Registered user since Mon 10 Jun 2019

Name:Takeshi Tsukada
Country:Japan
Affiliation:Chiba University, Japan

Contributions

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

Using general profile