Benjamin Delaware

ソフトウェアエンジニアリングでの証明検証を改善する新しい方法を探ってる。