Doug Goldson

发表

Doug Goldson, 2003, Tenth Asia-Pacific Software Engineering Conference, 2003..

Richard Bornat, Steve Reeves, Pat Fung, 1992, PPIG.

Steve Reeves, Doug Goldson, Greg Reeve, 2002 .

Steve Reeves, Doug Goldson, Greg Reeve, 2002, ICFEM.

Doug Goldson, Greg Reeve, 2003 .

Paul A. Strooper, Brad Long, Roger Duke, 2004, 18th International Parallel and Distributed Processing Symposium, 2004. Proceedings..

Richard Bornat, Steve Reeves, Doug Goldson, 1993, Comput. J..

Doug Goldson, 1997, INTERACT.

Brijesh Dongol, Doug Goldson, Brijesh Dongol, 2005, CATS.

Doug Goldson, 2001, IWFM.

Doug Goldson, 2004, 2004 Australian Software Engineering Conference. Proceedings..

Doug Goldson, 1994, Comput. J..

Brijesh Dongol, Doug Goldson, Brijesh Dongol, 2005, Log. Methods Comput. Sci..

Doug Goldson, 2002, Ninth Asia-Pacific Software Engineering Conference, 2002..

Doug Goldson, 2003, IWFM.

Steve Reeves, Doug Goldson, Mike Hopkins, 1994 .