[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php

Bibliographic Item (1.0)

Garfinkel05

  1. Simson Garfinkel
  2. Microsoft's Secret Bug Squasher
  3. Wired (Nov 10 2005) [ 0,2924,69375,00.html?tw=wn_tophead_3 ]
  4. =REPORT MS MODEL CHECKING DEVICE DRIVERS TOOL SLAM
  5. So called formal methods -- math & logic -- are used inside Microsoft!

Search for bibliographic items containing a matching string.


(Search uses POSIX regular expressions and ignores case)

Search for a specific bibliographic item by name.



To see the complete bibliography (1Mb+) select:[Bibliography]