Tobias Kappé

制御フロー解析を通じてプログラムの同等性をチェックする新しいツール。

テスト付きクレーネ代数と決定論的タスクにおけるその課題についての考察。