210. Methods of proving correctness of programs with good logic

Full text file: Shelekhov_prlogic.pdf
Presentation file: Pres_Shelekhov.pdf