Footnotes

(1)

Strictly, computing science defines assertions in association with a code section's pre- and post-conditions.

This document was generated by Ian Scott on January, 10 2008 using texi2html 1.76.