"Write what should not be forgotten."
Drones are not toys, but tools to transform industries.
形式化方法的美在于它们能够提供关于系统行为的绝对保证。
一个社会离真相越远,它就越会憎恨那些说出真相的人。
"A good book is the best of friends, the same today and forever."