Scott McPeak
From MaRDI portal
Person:4738388
Available identifiers
zbMath Open mcpeak.scottMaRDI QIDQ4738388
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 |
|---|---|---|
| CCured, type-safe retrofitting of legacy code | 2015-03-17 | Paper |
| Compiler Construction | 2007-09-28 | Paper |
| Computer Aided Verification | 2006-01-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738390 | 2004-08-11 | Paper |
Research outcomes over time
This page was built for person: Scott McPeak
