Елена Штарик Мультиверсионное программное обеспечение. Алгоритмы голосования и оценка надёжности Подробнее
