The only real voyage of discovery consists not in seeking new landscapes, but in having new eyes.
每座建筑都是一个原型。没有两座是相同的。
当信息不完美或市场不完整时,市场本身不会产生有效的结果。
即使在最安静的生活中,也有戏剧性。
Model checking is a powerful tool for verifying the correctness of hardware and software systems.