Marie-Christine Jakobs

複雑なソフトウェアを効率的に検証するための範囲プログラム解析の方法を探る。

ソフトウェアを検証することがなぜ信頼性とユーザーの信頼にとって重要なのかを学ぼう。