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