Verification, model checking, and abstract interpretation : third international workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002 : revised papers
Agostino Cortesi (ed.)
Bok Engelsk 2002 VMCAI 2002
| Utgitt | Berlin : Springer , c2002
|
|---|---|
| Omfang | VIII, 330 s. : ill.
|
| Emner | |
| ISBN | 3540436316
|
