駕駛安全和信任：為何正式方法是汽車軟體的下一步

Driving safety and trust: Why formal methods are the next step for automotive software ,
Source Link