TY - JOUR
AU - 
TI - A note on a standard strategy for developing loop invariants and loops
JF - Science of Computer Programming
DO - 10.1016/0167-6423(83)90015-1
DA - 1982-12-01
UR - https://www.deepdyve.com/lp/unpaywall/a-note-on-a-standard-strategy-for-developing-loop-invariants-and-loops-T2v9ybApWt
DP - DeepDyve
ER -