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

Author(s)
Bibliographic Information

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

Search this Book/Journal
Note

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

Related Books: 1-1 of 1
Details
Page Top