形式化方法不是银弹,但它们是追求可靠系统的重要工具。
I believe in the power of storytelling.
The best films are those that challenge our perceptions and make us see the world differently.
我对某个人一旦没有了好感,就永远没有好感。
Music is a belief that makes me never give up.