期刊详情
Formal Aspects Of Computing
立即访问
语言：
英文
所在数据库：
Assoc Computing Machinery
更新时间：
2026-03-17 14:23:18
期刊详情
Formal Aspects Of Computing 专注于计算的形式化方法，发表关于程序语义、形式规约、验证技术及逻辑在计算机科学中应用的理论研究与实践案例，旨在提高软件系统的可靠性与正确性。