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

Bibliographic Item (1.0)

Lev-AmiEtal00

  1. Tal Lev-Ami & Thomas Reps & Mooly Sagiv & Reinhard Wilhelm
  2. Putting Static Analysis to Work for Verification: A Case Study
  3. Proc ISSTA 00 & ACM SIGSOFT Software Engineering Notes V25n5(Sep 2000)pp26-38
  4. =DEMO TOOL PROOF POINTERS 3-valued LOGIC GRAPH

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]