Skip Menu

  • Skip to Search
  • Skip to Main Navigation
  • Skip to Main Content
  • Skip to Featured Content
  • Skip to Footer
Virginia Tech | Invent the Future
College of Engineering
Computer Science
Return to Skip Menu

Search

  • Search within VTCS
 
Return to Skip Menu

Main Navigation

  • Faculty Search
  • About Us
  • People
  • Research
    • Publications
      • Technical Reports
    • Grants
    • Faculty
    • Facilities
  • Undergraduate
  • Graduate
  • Events and Seminars
  • Alumni
  • Partnering with Industry
  • Northern VA Campus
  • Contact Us
 
 
  • Home
  • Biblio
  • Author
  • 3049
 
Return to Skip Menu

Main Content

Biblio

  • List
  • Filter
Export 1 results:
  • Tagged
  • XML
  • BibTex
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.
  • Tagged
  • XML
  • BibTex
  • Google Scholar
 
 
  • Log in /Administration
  • Intranet
  • Contact Us
  • Maps & Directions
  • Giving to CS
  • Privacy Statement
  • Principles of Community
  • Accessibility

© 2007 Virginia Polytechnic Institute and State University