Abstracting Pointers for a Verifying Compiler

TitleAbstracting Pointers for a Verifying Compiler
Publication TypeConference Paper
Year of Publication2007
AuthorsKulczycki, G., M. Sitaraman, H. Keown, and B. Weide
Conference NameProceedings 31st Annual Software Engineering Workshop
Date PublishedMarch 2007
Conference LocationBaltimore, MD