Шелехов В.И.  

Methods of proving correctness of programs with good logic

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


To reports list