Biblio

Export 1 results:
Sort by:
Filters: Author is H. Keown  [Clear All Filters]
2007
Kulczycki, G., M. Sitaraman, H. Keown, and B. Weide, "Abstracting Pointers for a Verifying Compiler", Proceedings 31st Annual Software Engineering Workshop, Baltimore, MD, March 2007.