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

  • About Us
  • People
  • Research
  • Undergraduate
  • Graduate
  • Events and Seminars
  • Alumni
  • Partnering with Industry
  • Northern VA Campus
  • Contact Us
 
 
  • Home
  • Biblio
  • Author
  • 960
 
Return to Skip Menu

Main Content

Biblio

  • List
  • Filter
Export 1 results:
  • Tagged
  • XML
  • BibTex
Sort by:
Filters: Author is John McCorquodale  [Clear All Filters]
1997
Tullmann, P., J. Turner, J. McCorquodale, J. Lepreau, A. Chitturi, and G. Back, Formal Methods: A Practical Tool for OS Implementors, , Cape Cod, {MA}, IEEE Computer Society, pp. 20–25, may, 1997.
  • 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