Strictly, computing science defines assertions in association with a code section's pre- and post-conditions.
This document was generated on December, 30 2011 using texi2html 1.76.