Assertion (software development)
article-link
What links here
Hoare logic
Merton College, Oxford
article-link
Tony Hoare
article-link
Postcondition
article-link
Design by contract
article-link
Precondition
article-link
Static program analysis
article-link
Rice's theorem
article-link
Frame problem
article-link
Functional programming
article-link