Skip to main content

Browsing by Author Stewart, G

Showing results 1 to 3 of 3
Publication DateArticle TitleAuthor(s)
1-Jan-2014Portable software fault isolationKroll, JA; Stewart, G; Appel, Andrew W.
1-Jan-2014Verified compilation for shared-memory CBeringer, L; Stewart, G; Dockins, R; Appel, Andrew W.
22-Oct-2012Verified heap theorem prover by paramodulationStewart, G; Beringer, L; Appel, Andrew W.