1978 establishments in the United Kingdom

БКС-FACS История и достижения BCS-FACS BCS-FACS – британская группа по формальным методам, основанная в 1965 году.  Группа активно участвовала в […]