Keith Butler
发表
Art Okarski,
Keith Butler,
2003
.
Keith Butler,
Keith Butler,
1995,
Synthese.
Jean Scholtz,
Norman Badler,
Keith Butler,
2009
.
Keith Butler,
1995
.
David Kieras,
Keith Butler,
Rob Jacobs,
2007,
CHI 2007.
Keith Butler,
Keith Butler,
1991
.
Semantic based model of Conceptual Work Products for formal verification of complex interactive systems
pdf
Cui Tao,
Eric Mercer,
Keith Butler,
2020,
ArXiv.
Aron Walsh,
Keith Butler,
Adam J. Jackson,
2019,
J. Open Source Softw..
Jean Scholtz,
Sharon J. Laskowski,
Emile L. Morse,
2002
.
Keith Butler,
2004,
Synthese.
Keith Butler,
Keith Butler,
1994,
Minds and Machines.
Keith Butler,
Priscilla S. Moraes,
Kathy McCoy,
2013,
ENLG.
Austin Henderson,
Mary Beth Rosson,
Dave Roberts,
1997,
SGCH.
Keith Butler,
Keith Butler,
1995
.