Hiroshi Unno

Registered user since Fri 19 Dec 2014

Name:Hiroshi Unno
Country:Japan
Affiliation:University of Tsukuba; RIKEN AIP
Research interests:Programming Languages, Software Verification

Contributions

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

POPL 2022-profile
View general profile