Mark Mitchell
发表
John C. Mitchell,
Patrick Lincoln,
Andre Scedrov,
1999,
World Congress on Formal Methods.
John C. Mitchell,
Patrick Lincoln,
Andre Scedrov,
1998,
CCS '98.
Dan Boneh,
John C. Mitchell,
David Lie,
2000,
SIGP.
John C. Mitchell,
Ulrich Stern,
Mark Mitchell,
1997,
Proceedings. 1997 IEEE Symposium on Security and Privacy (Cat. No.97CB36097).
Dan Boneh,
David Lie,
John C. Mitchell,
2000
.
John Ulrich,
ScienceStanford,
UniversityStanford,
1997
.
John C. Mitchell,
Andre Scedrov,
Mark Mitchell,
1998,
Proceedings 39th Annual Symposium on Foundations of Computer Science (Cat. No.98CB36280).