ScholarWorks@고려대학교

상세 보기

Linkage of Model-Checking to Debugger Using Extended JPDA

  • CHOI, Jin Young
제목
Linkage of Model-Checking to Debugger Using Extended JPDA
저자
CHOI, Jin Young
학회명
2002 international Conference on computer and Information Science
개최지
2002 international Conference on computer and Information Science
학회 개최일
2002-06-24

ScholarWorks@고려대학교

02841 서울특별시 성북구 안암로 145 Tel. 02-3290-2963

COPYRIGHT © 고려대학교 All Rights Reserved.

Certain data included herein are derived from the © Web of Science of Clarivate Analytics. All rights reserved.

You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.