Write a Blog >>

Registered user since Wed 20 May 2020

Name:Shunsuke Shimizu
Affiliation:University of Tokyo

Contributions

POPL 2016 Lattice-Theoretic Progress Measures and Coalgebraic Model Checking
Show activities from other conferences

POPL 2016-profile
View general profile