Kokichi Futatsugi Профессор Исследовательского центра Японского института науки и технологий. Персональная страница Источник фото и информации Курсы Computer Science семинар (Весна 2012) Computer Science клуб при ПОМИ РАН Kokichi Futatsugi, Наталья Васильева, Сергей Якунин, Алексей Колесов, Андрей Морозов, Cesare Pautasso, Наталья Шарыгина Конференция (8)Хит 13293 Лекции Verifying Specifications with Proof Scores in CafeOBJ Computer Science клуб при ПОМИ РАН Kokichi Futatsugi 2373
