欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
ARM:数字世界的心脏 :)
http://www.arm.com
ARM概述
应用程序处理器
嵌入式处理器
安全处理器
优化的ARM智能手机