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

Bibliographic Item (1.0)

BeyerNoackLewerentz05

  1. Dirk Beyer & Andreas Noack & Claus Lewerentz
  2. Efficient Relational Calculation for Software Analysis
  3. IEEE Trans Software Engineering V31n2(Feb 2005)pp137-149
  4. =TOOL RELATIONAL LOGIC RML BDD TECHNICAL PATTERN JAVA CrocoPat
  5. Faster recognition of patterns in class structures tested faster on real code: JDK AWT, Eclipse,... Than Prolog and MySQL.

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]