vds1718-Homeworks:用于aa1718软件验证练习的回购

软件验证aa17-18 作业-第一部分 在举行课程考试第一部分的练习。 这些练习涉及操作和指称语义。 可以获得练习。 克隆和编译 克隆 要克隆此存储库，只需使用以下命令： git clone https://github.com/mzanella/vds1718-Homeworks.git 汇编 要在Linux环境中编译文档，只需提供以下命令： make 注意：makefile假定已安装pdflatex 。