Travelled to:
1 × USA
Collaborated with:
D.E.Cooke J.N.Rushton
Talks about:
evolutionari (1) variabl (1) program (1) impact (1) assign (1) verif (1) role (1)
Person: Robert G. Watson
DBLP: Watson:Robert_G=
Contributed to:
Wrote 1 papers:
- SEKE-2006-CookeRW #verification
- The Evolutionary Role of Variable Assignment and Its Impact on Program Verification (DEC, JNR, RGW), pp. 315–320.