SPLASH 2022
Mon 5 - Sat 10 December 2022 Auckland, New Zealand
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

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

Using general profile