Not registered as user yet

Name:Christina Mika-Michalski
Affiliation:University of Duisburg-Essen

Contributions

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