616 followers
『The Birth of Model Checking』(Clarkeの解説)を調べてたら『MODEL CHECKING BIRTH AND DEATH』という面白げタイトルの論文がヒットした. http://t.co/ikZe7Q2ITW
『The Birth of Model Checking』(Clarkeの解説)を調べてたら『MODEL CHECKING BIRTH AND DEATH』という面白げタイトルの論文がヒットした. http://t.co/ikZe7Q2ITW
『The Birth of Model Checking』(Clarkeの解説)を調べてたら『MODEL CHECKING BIRTH AND DEATH』という面白げタイトルの論文がヒットした. http://t.co/ikZe7Q2ITW