Login:
Password:
Login
International Conference
"Modern Problems of Mathematics, Informatics and Bioinformatics",
devoted to the 100th anniversary of professor Alexei A. Lyapunov
Novosibirsk, Russia, 2011, October 11-14
Information letter
Topics
Organizers
Sponsors
Print files
Abstract submission
Registration fee
Venue
Travel information
Program
Participants
Reports
Registration/Login
Шелехов В.И.
Methods of proving correctness of programs with good logic
Full text file:
Shelekhov_prlogic.pdf
Presentation file:
Pres_Shelekhov.pdf
To reports list