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

Bibliographic Item (1.0)

DilligDilligAiken10

  1. Isil Dillig & Thomas Dillig & Alex Aiken
  2. Reasoning about the unknown in static analysis
  3. Commun ACM V53n8(Aug 2010)pp116-123 [ 1787234.1787259 ]
  4. =DEMO LOGIC MATHEMATICS MODEL CHECKING C Linux may/must SOUNDNESS

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]