MICROSOFT CORPORATION. Windows Static Driver Verifier. Available at www.microsoft.com/whdc/devtools/tools/SDV.mspx, July 2006. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Proving That Programs Eventually Do Something Good - Ron Cook Microsoft (Correct)
No context found.
MICROSOFT CORPORATION. Windows Static Driver Verifier. Available at www.microsoft.com/whdc/devtools/tools/SDV.mspx, July 2006.
Terminator: Beyond Safety - Ron Cook Andreas (2006) (Correct)
No context found.
Microsoft Corporation. Windows Static Driver Verifier. Available at www.microsoft.com/whdc/devtools/tools/SDV.mspx, July 2004.
Termination Proofs for Systems Code - Ron Cook Microsoft (2006) (1 citation) (Correct)
No context found.
Microsoft Corporation. Windows Static Driver Verifier. Available at www.microsoft.com/whdc/devtools/tools/SDV.mspx, July 2004.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC