Static Analysis of Software こちらもおすすめ

Formal Methods Applied to Industrial Complex Systems Formal Methods Applied to Industrial Complex Systems
Formal Methods Applied to Industrial Complex Systems
2014年
ARTIFICIAL INTELLIGENCE METHODS FOR SOFTWARE ENGINEERING ARTIFICIAL INTELLIGENCE METHODS FOR SOFTWARE ENGINEERING
ARTIFICIAL INTELLIGENCE METHODS FOR SOFTWARE ENGINEERING
2021年
Software Testing Software Testing
Software Testing
2021年
Software Engineering for Science Software Engineering for Science
Software Engineering for Science
2016年