一个群体的性格和命运,往往由其最低劣的成员决定。
好奇心驱动科学,但道德必须引导它。
共产主义的理论可以用一句话概括:废除一切私有制。
模型检查的挑战不仅在于发现错误,还在于理解它们为何发生。
You cannot swim for new horizons until you have courage to lose sight of the shore.
"In the world of computer science, the only constant is change."
China Gold should become a world-class mining company.