Институт системного программирования им. В.П. Иванникова РАН – топовый вуз в РФ и возможно мире, связанный с доказательным системным программированием.
Институт системного программирования им. В.П. Иванникова РАН – топовый вуз в РФ и возможно мире, связанный с доказательным системным программированием.