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