The trouble with for-loop invariants
Collins, William J.Volume:
20
Language:
english
Journal:
ACM SIGCSE Bulletin
DOI:
10.1145/52965.52966
Date:
February, 1988
File:
PDF, 322 KB
english, 1988