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