[HKSAT] 13. 기타 (13-3. 32-bit 분석기 강제 적용)/(13-3. Forcing HKSAT to run 32-bit analyzer)

해당 영상은 HKSAT를 사용하기 위한 정보를 사용자에게 제공하는 것을 목적으로 합니다.
• 포멀웍스
홈페이지: www.formalworks...
메일: [e-mail]
전화: 02-563-8763
이 사용설명의 내용과 HKSAT 프로그램은 저작권법과 컴퓨터 프로그램 보호법으로 보호받고 있습니다.
-----------------------------------------------------------------------------------------
The purpose of this video is to provide users with information to use the HKSAT.
• Formal Works Inc.
Homepage: www.formalworks...
E-mail: [e-mail]
Phone: [phone]
The contents of this manual and the HKSAT program are protected by copyright and computer program protection laws.