The evolutionary role of variable assignment and its impact on program verification

Daniel E. Cooke, J. Nelson Rushton, Robert Watson

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Scopus citations
Original languageEnglish
Title of host publication18th International Conference on Software Engineering and Knowledge Engineering, SEKE 2006
Pages315-320
Number of pages6
StatePublished - 2006
Event18th International Conference on Software Engineering and Knowledge Engineering, SEKE 2006 - San Francisco Bay, CA, United States
Duration: Jul 5 2006Jul 7 2006

Publication series

Name18th International Conference on Software Engineering and Knowledge Engineering, SEKE 2006

Conference

Conference18th International Conference on Software Engineering and Knowledge Engineering, SEKE 2006
CountryUnited States
CitySan Francisco Bay, CA
Period07/5/0607/7/06

Cite this

Cooke, D. E., Rushton, J. N., & Watson, R. (2006). The evolutionary role of variable assignment and its impact on program verification. In 18th International Conference on Software Engineering and Knowledge Engineering, SEKE 2006 (pp. 315-320). (18th International Conference on Software Engineering and Knowledge Engineering, SEKE 2006).