Marsha Chechik, Wei Ding. Lightweight Reasoning about Program Correctness. Information Systems Frontiers, 4(4):363-377, 2002. [doi]
@article{ChechikD02,
title = {Lightweight Reasoning about Program Correctness},
author = {Marsha Chechik and Wei Ding},
year = {2002},
doi = {10.1023/A:1020883625495},
url = {http://dx.doi.org/10.1023/A:1020883625495},
researchr = {https://researchr.org/publication/ChechikD02},
cites = {0},
citedby = {0},
journal = {Information Systems Frontiers},
volume = {4},
number = {4},
pages = {363-377},
}