Verification, model checking, and abstract interpretation [electronic resource] : 7th international conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006 : proceedings / E. Allen Emerson, Kedar S. Namjoshi (eds.).
Gorde:
Argitaratua: |
Berlin :
Springer,
c2005.
|
---|---|
Sarrera elektronikoa: | |
Egile korporatiboa: | |
Beste egile batzuk: | |
Saila: | Lecture notes in computer science ;
3855 |
Gaiak: | |
Formatua: | Baliabide elektronikoa Conference Proceeding eBook |