简介：
简介：又一位图灵奖得主去世了,他是受人尊敬的时序逻辑领域大师艾米尔·伯努利（AmirPnueli）。今年11月2日,这位1996年度图灵奖得主因脑出血去世,享年68岁,只剩那些熠熠生辉的科技成就留给后人。
硬盘逻辑锁的解救大法
时序逻辑领域的开拓者
