标签： <VCC笔记>VCC简介与安装

　　最近在学校跟着老师参与了一个代码验证的工作，需要使用Microsoft Research（微软学术）开发的VCC工具，是开源的，托管在Codeplex上。这东西英语资料极其少，中文资料基本没有。我 … Continue reading <VCC笔记>VCC简介与安装