Marie-Christine Jakobs
From MaRDI portal
Person:2165502
Available identifiers
zbMath Open jakobs.marie-christineMaRDI QIDQ2165502
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| Reusing predicate precision in value analysis | 2022-08-19 | Paper |
| PART$$_\mathrm {PW}$$: From Partial Analysis Results to a Proof Witness | 2019-09-16 | 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: Marie-Christine Jakobs
