William Mansky
From MaRDI portal
Person:1702903
Available identifiers
zbMath Open mansky.williamMaRDI QIDQ1702903
List of research outcomes
| This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! |
| Publication | Date of Publication | Type |
|---|---|---|
| https://portal.mardi4nfdi.de/entity/Q6099631 | 2023-06-20 | Paper |
| Connecting higher-order separation logic to a first-order outside world | 2022-10-13 | Paper |
| Verifying Optimizations for Concurrent Programs | 2019-10-24 | Paper |
| An axiomatic specification for sequential memory models | 2018-03-01 | Paper |
| Symbolic analysis tools for CSP | 2015-01-13 | Paper |
| Using Locales to Define a Rely-Guarantee Temporal Logic | 2012-09-20 | Paper |
| A Framework for Formal Verification of Compiler Optimizations | 2010-09-14 | Paper |
Research outcomes over time
This page was built for person: William Mansky