Verification, model checking, and abstract interpretation : 9th international conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008 : proceedings

著者
書誌事項

Verification, model checking, and abstract interpretation : 9th international conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008 : proceedings

Francesco Logozzo, Doron A. Peled, Lenore D. Zuck (eds.)

(Lecture notes in computer science, 4905)

Springer, c2008

この図書・雑誌をさがす
注記

"LNCS Sublibrary : SL 1 Theoretical computer science and general issues"--T.p. verso

関連文献: 1件中  1-1を表示
詳細情報
ページトップへ