图灵奖获得者Joseph Sifakis教授来访

2011年3月8日下午，图灵奖获得者Joseph Sifakis教授在我们实验室做题为“A Vision for Computer Science – The System Perspective ”的报告。