Back
Шелехов В.И.
Methods of proving correctness of programs with good logic
Full text file:
Shelekhov_prlogic.pdf
Presentation file:
Pres_Shelekhov.pdf
To reports list