kadyrov-ruslan/BMSTU_Master_MathBasis_of_Software_Verification

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

BMSTU Master Math Basis of Software Verification

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

Математические основы верификации ПО, магистратура ИУ7 МГТУ им. Баумана

Материалы по курсу "Мат. основы верификации ПО", 2 курс магистратуры ИУ7 МГТУ им.Баумана (2018/2019)