Inferara
|
English
研究
論文
ブログ
お問い合わせ
形式手法
スモールステップとビッグステップのセマンティクス
このブログでは、スモールステップとビッグステップのセマンティクス、その違い、コンピュータプログラムの分析への応用について概説します。