Verification, model checking, and abstract interpretation : 7th international conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006 : proceedings
E. Allen Emerson, Kedar S. Namjoshi (eds.)
Bok Engelsk 2006 VMCAI 2006
Utgitt | Berlin : Springer , c2006
|
---|---|
Omfang | XI, 442 s. : ill.
|
Emner | |
ISBN | 3540311394. - 9783540311393
|