成功的衡量标准不仅仅是季度利润,还包括我们在保护地球的同时如何推进科学发展。
"Sometimes, the only way to win is to refuse to play the game."
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."