Huiwen Wu

量子ホア論理が量子コンピュータープログラムの正しさをどう保証するかを学ぼう。