期刊详情
International Journal On Software Tools For Technology Transfer
立即访问
语言:
英文
所在数据库:
Springer Science And Business Media Deutschland Gmbh
更新时间:
2026-03-26 13:04:48
期刊详情
International Journal on Software Tools for Technology Transfer (STTT) 聚焦软件工具与技术转化,研究形式化方法工具、模型检测、定理证明器、静态分析工具及其在工业界软件工程实践中的转化与应用案例。