5 января 2009 · Комментарий

Без заголовка

alexott · Оригинал в ЖЖ ↗ · Ссылка на запись

у меня знакомый в университете заарланда занимается верификацией ПО для автомобилей, и они как раз тесно сотрудничают с МС по этому поводу. И сам МС набирал народ (где-то в апреле 2008-го) для написания софта (на OCaml/F#) на тему верификации драйверов устройств