Roberto Casaluce

ソフトウェア検証のためのシミュレーションとイベント分析の組み合わせ。