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