assertive.code (Q135788): Difference between revisions
From MaRDI portal
m rollbackEdits.php mass rollback Tag: Rollback |
Removed claims |
||
| Property / programmed in | |||
| Property / programmed in: R / rank | |||
| Property / depends on software | |||
| Property / depends on software: R / rank | |||
| Property / depends on software: R / qualifier | |||
Revision as of 13:00, 9 February 2024
Assertions to Check Properties of Code
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | assertive.code |
Assertions to Check Properties of Code |
Statements
30 May 2023
0 references
