Klaus Gleissenthall

Registered user since Mon 25 Jan 2016

Name: Klaus Gleissenthall

Affiliation: Technische Universität München

Personal website: http://www7.in.tum.de/~gleissen/

Contributions

PLDI 2016 Cardinalities and Universal Quantifiers for Verifying Parameterized Systems
Show activities from other conferences

PLDI 2016-profile
View general profile