No Such Blog or Diary
Home > 一般 > 集中講義二日目
今日は途中で抜けたのだが,内容はSPIN使ってモデルチェッキングしてみましょうと.とりあえず時相論理は頭がこんがらがることが良くわかった.
Page Top