Daniel E. Cooke, J. Nelson Rushton, Robert G. Watson. The Evolutionary Role of Variable Assignment and Its Impact on Program Verification. In Kang Zhang, George Spanoudakis, Giuseppe Visaggio, editors, Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE 2006), San Francisco, CA, USA, July 5-7, 2006. pages 315-320, 2006.
Abstract is missing.