Strictly, computing science defines assertions in association with a code section’s pre- and post-conditions.
This document was generated on March 12, 2019 using texi2html 1.82.