Программа для численного моделирования внутрикорпусной стадии запроектных аварий на реакторных установках с водой под давлением (СОКРАТ-В1/В2)