Music is the universal language of mankind.
2004年夏天从波尔图来到伦敦,出席俱乐部为他安排的记者招待会所说。
模型检查的挑战不仅在于发现错误,还在于理解它们为何发生。