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

Сайт: http://https//www.ispras.ru

w96k Ⓐ 2019-2022

2022-11-27 Sun 23:34