ScholarWorks@고려대학교

상세 보기

SPIN을 이용한 객체 지향형 소프트웨어의 정형검증 방법 비교 및 분석

  • CHOI, Jin Young
제목
SPIN을 이용한 객체 지향형 소프트웨어의 정형검증 방법 비교 및 분석
저자
CHOI, Jin Young
학회명
정보처리학회 추계학술대회
개최지
정보처리학회 추계학술대회
학회 개최일
2000-10-14

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.