请启用JavaScript体验Vimeo的所有荣耀。
从CACM箴
Nikolai Kosmatov讨论了“对无bug C程序的不懈追求:Frama-C软件分析平台”,一篇投稿于2021年8月的ccacm文章。