James C. Corbett. Identical Tasks and Counter Variables in an Integer Programming-Based Approach to Verification. In Jack C. Wileden, editor, Proceedings of the 7th International Workshop on Software Specification and Design, Redondo Beach, CA, December 1993. pages 100-109, IEEE Computer Society, 1993.
@inproceedings{Corbett93,
title = {Identical Tasks and Counter Variables in an Integer Programming-Based Approach to Verification},
author = {James C. Corbett},
year = {1993},
tags = {rule-based, program verification, C++, programming, systematic-approach},
researchr = {https://researchr.org/publication/Corbett93},
cites = {0},
citedby = {0},
pages = {100-109},
booktitle = {Proceedings of the 7th International Workshop on Software Specification and Design, Redondo Beach, CA, December 1993},
editor = {Jack C. Wileden},
publisher = {IEEE Computer Society},
}