References to, includes from, and redirects to Category Correctness

Date Name Who What
2016-05-08 00:45:00 assert SEH reference
2015-01-06 00:06:29 AsserTcl SEH reference
2014-07-01 09:22:04 Assertions dbohdan reference
2014-07-01 09:20:57 Constraining variables dbohdan reference
2014-07-01 09:21:04 Eiffel-like Invariants dbohdan reference
2017-06-08 09:42:16 Single assignment variable dbohdan reference
2014-07-03 10:05:59 Type checking juef reference