Jan Haltermanna

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