Seungjoon Park
发表
David L. Dill,
Seungjoon Park,
1995,
SPAA '95.
John Penix,
Seungjoon Park,
Willem Visser,
2000,
FMSP '00.
Klaus Havelund,
Seungjoon Park,
Willem Visser,
2004,
Automated Software Engineering.
David L. Dill,
Seungjoon Park,
D. Dill,
1996,
CAV.
Victor W. Lee,
Seungjoon Park,
Akhilesh Kumar,
2003,
Formal Methods Syst. Des..
Seungjoon Park,
Ching-Tsun Chou,
Phanindra K. Mannava,
2004,
FMCAD.
David L. Dill,
Seungjoon Park,
1996,
SPAA '96.
Seungjoon Park,
Donglai Dai,
Akhilesh Kumar,
2010,
FPGA '10.
Nachum Dershowitz,
Seungjoon Park,
D. N. Jayasimha,
2003,
Verification: Theory and Practice.
David L. Dill,
Seungjoon Park,
Satyaki Das,
1999,
CAV.
John Penix,
Klaus Havelund,
Seungjoon Park,
2000
.
David L. Dill,
Seungjoon Park,
D. Dill,
1998,
Theory of Computing Systems.
David L. Dill,
Seungjoon Park,
1999,
IEEE Trans. Computers.
David L. Dill,
Seungjoon Park,
Satyaki Das,
1997,
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
John Penix,
Corina S. Pasareanu,
Seungjoon Park,
2005,
Formal Methods Syst. Des..
Klaus Havelund,
Seungjoon Park,
Willem Visser,
2000,
Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering.