Not registered as user yet

Name: Christina Mika-Michalski

Affiliation: University of Duisburg-Essen

Contributions

POPL 2019Author of Fixpoint Games on Continuous Lattices within the Research Papers-track