Find

For students
For PhDs
For employees

Department of Computer Science

Aarhus University Seal

Jonas Kastberg Hinrichsen

Postdoc, Post doc

Department of Computer Science
Åbogade 34
8200 Aarhus N
Denmark
hinrichsen@cs.au.dk

Latest publications

Published
ACTRIS 2.0: ASYNCHRONOUS SESSION-TYPE BASED REASONING IN SEPARATION LOGIC
Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review

View all (1) »

ID: 216327826