Generated Fri Oct 22 07:13:12 PDT 1999 by fc@red.all.net

Suzuki75

  • [Suzuki75] N. Suzuki, Verifying Programs by Algebraic and Logical Reduction, IEEE, Conference on Reliable Software, 473-481, 1975. []

    fc@red.all.net