ScholarWorks@강원대학교
조직
연구자
연구성과
저널
English
상세 보기
USCV: Unified Smart Contract Validator (스마트 계약 통합 분석기)
임현승;
김도형;
지수환
Citation
APA
CHICAGO
MLA
VANCOUVER
IEEE
HARVARD
Export
XML (DC)
EXCEL
제목
USCV: Unified Smart Contract Validator (스마트 계약 통합 분석기)
저자
임현승;
김도형;
지수환
발행일
2020-12-07
출원번호
C-2020-048280
등록번호
C-2020-048280
출원일
2020-12-07
등록일
2020-12-07
양수인
강원대학교 산학협력단
더보기