TY  - SER
AU  - Kaufmann, Matt
AU  - Moore, J. S.
TI  - An Industrial Strength Theorem Prover  for  a Logic Based on Common lisp
KW  -  Formal Verification
KW  - Automatic Testing
KW  - Computations
ER  -