БКС-FACS
БКС-FACS История и достижения BCS-FACS BCS-FACS — британская группа по формальным методам, основанная в 1965 году. Группа активно участвовала в […]
Хьюман Райтс Вотч Обзор Хьюман Райтс Вотч (HRW) HRW — международная неправительственная организация, занимающаяся защитой прав человека. Основана в 1978