Daniel E. Cooke, J. Nelson Rushton, Robert G. Watson
The Evolutionary Role of Variable Assignment and Its Impact on Program Verification
SEKE, 2006.
@inproceedings{SEKE-2006-CookeRW,
author = "Daniel E. Cooke and J. Nelson Rushton and Robert G. Watson",
booktitle = "{Proceedings of the 18th International Conference on Software Engineering and Knowledge Engineering}",
isbn = "1-891706-18-7",
pages = "315--320",
title = "{The Evolutionary Role of Variable Assignment and Its Impact on Program Verification}",
year = 2006,
}