Florian Zuleger - POPL 2020

Registered user since Wed 5 Dec 2018

Name: Florian Zuleger

Country: Austria

Affiliation: TU Vienna

Personal website: http://forsyte.at/people/zuleger/

Contributions

ADSL 2020	Author of Extending the Profile Abstraction for Complete Entailment Checking of Symbolic Heaps of Bounded Treewidth within the ADSL 2020-track Author of Strong-Separation Logic within the ADSL 2020-track Committee Member in Program Committee within the ADSL 2020-track
Show activities from other conferences

Using general profile