来自 ， ， ， ， ， ， ，，王钦石等。 文件包含有关版权，许可和权限的信息。 如何安装： 。 说明文件： 描述了该项目的目标，并具有许多相关出版物的链接。 有关如何使用Verifiable C的介绍，请，或参阅以获得有关练习的教程。 ，安德鲁·W·阿Perl（Andrew W. Appel）等人，剑桥大学出版社，2014年。 。