Morten Krogh-Jespersen
From MaRDI portal
Person:5041097
Available identifiers
zbMath Open krogh-jespersen.mortenMaRDI QIDQ5041097
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems | 2022-10-13 | Paper |
| A relational model of types-and-effects in higher-order concurrent separation logic | 2017-10-20 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
| Property | Value |
|---|---|
| MaRDI profile type | MaRDI person profile |
| instance of | human |
This page was built for person: Morten Krogh-Jespersen
