Write a Blog >>

Not registered as user yet

Name: Corina Cirstea

Affiliation: University of Southampton

Contributions

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

POPL 2016-profile
View general profile