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

Bibliographic Item (1.0)

JacksonVaziri00

  1. Daniel Jackson & Mandana Vaziri
  2. Finding Bugs with a Constraint Solver
  3. Proc ISSTA 00 & ACM SIGSOFT Software Engineering Notes V25n5(Sep 2000)pp14-25
  4. =DEMO LOGIC Alloy disproving
  5. find scope limited models of (Pre and Code and nou Post )
  6. Programs with pointers often have errors exposed in seconds. Worst 6 minutes.

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]