| 2005 |
|---|
| 8 | EE | Terry R. Robison,
Du Zhang,
William Mitchell:
Discovery agent deployment in diverse SAN environments.
IRI 2005: 439-444 |
| 7 | EE | Rachel Henne-Wu,
William Mitchell,
Cui Zhang:
Support for Design by ContractTM in the CTM Programming Language.
Journal of Object Technology 4(7): 65-82 (2005) |
| 2001 |
|---|
| 6 | | William Mitchell:
Class assertions - an emerging factor in software engineering.
Computers and Their Applications 2001: 48-52 |
| 1989 |
|---|
| 5 | EE | William Mitchell:
What is to become of programming?
SIGCSE 1989: 131-135 |
| 1986 |
|---|
| 4 | EE | William Mitchell,
John Beidler,
Christine Shannon,
Waldo Roth,
Bob Cupper,
Tom Harbron:
Accreditation of small college computing programs(panel session).
ACM Conference on Computer Science 1986: 395-396 |
| 3 | EE | William Mitchell:
Retraining computing faculty: a perspective.
SIGCSE 1986: 203-210 |
| 1984 |
|---|
| 2 | EE | Norman Soong,
Charles Atwood,
Charles Eastman,
William Mitchell,
Douglas Stoker:
Blueprints for the computer city: The quest for an architect's computer.
ACM Conference on Computer Science 1984: 303-304 |
| 1979 |
|---|
| 1 | | William Mitchell:
Ramsey Cardinals and Constructibility.
J. Symb. Log. 44(2): 260-266 (1979) |
