Verification, model checking, and abstract interpretation : 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings
Radhia Cousot (ed.)
Bok Engelsk 2005 VMCAI 2005
Annen tittel | |
---|---|
Utgitt | Berlin : Springer , c2005
|
Omfang | XI, 481 s. : ill.
|
Emner | |
ISBN | 354024297X
|