Jeffrey X. Su

1998
2	EE	Jeffrey X. Su, David L. Dill, Jens U. Skakkebæk: Formally Verifying Data and Control with Weak Reachability Invariants. FMCAD 1998: 387-402
1996
1		Jeffrey X. Su, David L. Dill, Clark W. Barrett: Automatic Generation of Invariants in Processor Verification. FMCAD 1996: 377-388

Coauthor Index

1	Clark W. Barrett (Clark Barrett)	[1]
2	David L. Dill	[1] [2]
3	Jens U. Skakkebæk	[2]