过度捕捞是短视行为,我们必须为子孙后代留下丰饶的海洋。
The role of the architect is to interpret the needs of society and translate them into built form.
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."