Qianchuan Ye

表現不変条件に対してデータ構造を自動的に検証するための高度な技術を使った方法。