Linnk AI 다운로드
•
리서치 어시스턴트
>
로그인
통찰
-
OCaml 프로그램의 연역적 검증
OCaml 프로그램의 연역적 검증 이론과 실제
OCaml 프로그래밍 언어로 작성된 프로그램의 정확성을 연역적 검증 기법을 통해 증명하는 방법을 제시한다.
1