VST

带有来自

安德鲁·W·阿佩尔（Andrew W.

许可证文件具有有关版权，许可和权限的信息。

如何安装：

请参阅此处以获取说明。

文档：

我们的网页描述了项目的目标，并具有许多相关出版物的链接。

有关如何使用可验证C的介绍，请阅读手册或咨询软件基础第5卷：可验证的C，用于练习的教程。

Andrew W. Appel等人的计划逻辑，剑桥大学出版社，2014年。可在精装书上找到。