/BMSTU_Master_MathBasis_of_Software_Verification

Materials for "Mathematical basis of software verification" course of BMSTU Software Engineering last year

No issues in this repository yet.