Florian Zuleger - POPL 2020

Registered user since Wed 5 Dec 2018

Name:Florian Zuleger

Country:Austria

Affiliation:TU Vienna

Contributions

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