Registered user since Mon 25 Jan 2016

Name: Klaus Gleissenthall

Affiliation: Technische Universität München

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

PLDI 2016 Activities

• Author of Cardinalities and Universal Quantifiers for Verifying Parameterized Systems within the Research Papers-track in PLDI 2016
• Show activities from other conferences