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
|
