Iain D. Craig
From MaRDI portal
Person:884942
Available identifiers
zbMath Open craig.iain-dMaRDI QIDQ884942
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 |
|---|---|---|
| Formal refinement for operating systems kernels. | 2007-08-23 | Paper |
| Object-oriented programming languages: interpretation | 2007-06-07 | Paper |
| Formal models of operating system kernels | 2007-01-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5702546 | 2005-11-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2757739 | 2001-11-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4936345 | 2000-01-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4229237 | 1999-03-08 | Paper |
Research outcomes over time
This page was built for person: Iain D. Craig