185
click to vote
APSEC
2005
IEEE
16 years 5 days ago
2005
IEEE
— Invariant based programming is an approach to program construction where we provide the program pre- and postconditions as well as loop invariants before we construct the code ...