谷歌浏览器插件

订阅小程序

在清言上使用

立即登录

学术主页个人账号

我的关注论文收藏浏览历史

Does Every Computer Scientist Need to Know Formal Methods?

Manfred Broy,Achim D. Brucker,Alessandro Fantechi,Mario Gleirscher,Klaus Havelund,Markus Alexander Kuppe,Alexandra Mendes,André Platzer,Jan Oliver Ringert,Allison Sullivan

Formal Aspects Comput（2025）

引用 3|浏览1

关键词

Formal methods,software and systems engineering,computer science university curriculum

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要