Department of Computer Science

Aarhus University Seal
You are here: » Jonas Kastberg Hinrichsen » Research outputs

Contact

Jonas Kastberg Hinrichsen

1 - 1 out of 1Page size: 100
RSS feed of this list
  1. 2022
  2. Published
    ACTRIS 2.0: ASYNCHRONOUS SESSION-TYPE BASED REASONING IN SEPARATION LOGIC. / Hinrichsen, Jonas Kastberg; Bengtson, Jesper; Krebbers, Robbert.
    In: Logical Methods in Computer Science, Vol. 18, No. 2, 06.2022, p. 16:1-16:64.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review