Michal Wrona

研究によって、複雑な計算問題を効率的に解決する新しい知見が明らかになった。

ポジティブな平等フリー論理がモデル検査手法に与える影響を探る。