Research Concept
Assertion
in computer programming, statement that a predicate is always true at that point in code execution
Works
57,404
Citations
546,096
Level
2
OpenAlex ID
C40422974
Research Concept
in computer programming, statement that a predicate is always true at that point in code execution