Login / Signup
Anton W. Haubner
ORCID
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 1
Top Topics
Dynamic Analysis
Target Object
Relational Databases
Top Venues
Gabbrielli's Festschrift
</>
Publications
</>
Reiner Hähnle
,
Anton W. Haubner
,
Eduard Kamburjan
Locally Static, Globally Dynamic Session Types for Active Objects.
Gabbrielli's Festschrift
(2020)