U. Stern
发表
D. Dill,
HashCompactionPierre Wolper,
U. Stern,
2007
.
D. Dill,
U. Stern,
2014
.
D. Dill,
U. Stern,
2022
.
Ulrich Stern,
U. Stern,
1997
.
Vitaly Shmatikov,
John C. Mitchell,
Ulrich Stern,
1998,
USENIX Security Symposium.
David L. Dill,
Ulrich Stern,
David Y. W. Park,
2000,
Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering.
John C. Mitchell,
Ulrich Stern,
Mark Mitchell,
1997,
Proceedings. 1997 IEEE Symposium on Security and Privacy (Cat. No.97CB36097).
D. Dill,
U. Stern,
1996,
FORTE.
David L. Dill,
Ulrich Stern,
D. Dill,
1995,
CHARME.
David L. Dill,
Ulrich Stern,
D. Dill,
2001,
Formal Methods Syst. Des..
John Ulrich,
ScienceStanford,
UniversityStanford,
1997
.