VST

공헌으로

Andrew W. Appel, Lennart Beringer, Robert Dockins, Josiah Dodds, Aquinas Hobor, Jean-Marie Madiot, Gordon Stewart, Qinxiang Cao, Qinshi Wang 등.

라이센스 파일에는 저작권, 라이센스 및 권한에 대한 정보가 있습니다.

설치 방법 :

지침은 여기를 참조하십시오.

선적 서류 비치:

당사 웹 페이지는 프로젝트의 목표를 설명하며 많은 관련 출판물과 링크가 있습니다.

검증 가능한 C를 사용하는 방법에 대한 소개를 보려면 매뉴얼을 읽거나 소프트웨어 기초를 참조하십시오. 제 5 권 : 검증 가능한 C를 연습 튜토리얼에 보관하십시오.

Cambridge University Press, Andrew W. Appel et al.의 인증 된 컴파일러에 대한 프로그램 논리, 2014 년.