ScholarWorks@서강대학교

상세 보기

Formal Specification Technique in Smart Contract Verification

제목
Formal Specification Technique in Smart Contract Verification
저자
박수진
발행일
2019-01-28
학회명
2019 INTERNATIONAL CONFERENCE ON PLATFORM TECHNOLOGY AND SERVICE

ScholarWorks@서강대학교

04107 서울특별시 마포구 백범로 35 (신수동) 서강대학교 Tel. 02-705-8114

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.