时空索引 BMSTU_Master_MathBasis_of_Software_Verification 返回
项目作者： kadyrov-ruslan

项目描述 ：
Materials for "Mathematical basis of software verification" course of BMSTU Software Engineering last year
高级语言：
项目地址: git://github.com/kadyrov-ruslan/BMSTU_Master_MathBasis_of_Software_Verification.git