Verification, model checking, and abstract interpretation : 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings /
57
| Main Authors: | , , |
|---|---|
| Format: | |
| Language: | eng |
| Published: |
New York, NY : Springer,
2006
|
| Subjects: |
| _version_ | 1796654588417277952 |
|---|---|
| author | VMCAI 2006 (2006 : Charleston, S.C.) Emerson, E. Allen Namjoshi, Kedar S. |
| author_facet | VMCAI 2006 (2006 : Charleston, S.C.) Emerson, E. Allen Namjoshi, Kedar S. |
| author_sort | VMCAI 2006 (2006 : Charleston, S.C.) |
| collection | OCEAN |
| description | 57 |
| first_indexed | 2024-03-04T14:52:41Z |
| format | |
| id | KOHA-OAI-TEST:48039 |
| institution | Universiti Teknologi Malaysia - OCEAN |
| language | eng |
| last_indexed | 2024-03-04T14:52:41Z |
| publishDate | 2006 |
| publisher | New York, NY : Springer, |
| record_format | dspace |
| spelling | KOHA-OAI-TEST:480392020-12-19T16:58:30ZVerification, model checking, and abstract interpretation : 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings / VMCAI 2006 (2006 : Charleston, S.C.) Emerson, E. Allen Namjoshi, Kedar S. New York, NY : Springer,2006eng575859PSZJBLComputer programsURN:ISBN:3540311394 (pbk.) |
| spellingShingle | Computer programs VMCAI 2006 (2006 : Charleston, S.C.) Emerson, E. Allen Namjoshi, Kedar S. Verification, model checking, and abstract interpretation : 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings / |
| title | Verification, model checking, and abstract interpretation : 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings / |
| title_full | Verification, model checking, and abstract interpretation : 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings / |
| title_fullStr | Verification, model checking, and abstract interpretation : 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings / |
| title_full_unstemmed | Verification, model checking, and abstract interpretation : 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings / |
| title_short | Verification, model checking, and abstract interpretation : 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings / |
| title_sort | verification model checking and abstract interpretation 7th international conference vmcai 2006 charleston sc usa january 8 10 2006 proceedings |
| topic | Computer programs |
| work_keys_str_mv | AT vmcai20062006charlestonsc verificationmodelcheckingandabstractinterpretation7thinternationalconferencevmcai2006charlestonscusajanuary8102006proceedings AT emersoneallen verificationmodelcheckingandabstractinterpretation7thinternationalconferencevmcai2006charlestonscusajanuary8102006proceedings AT namjoshikedars verificationmodelcheckingandabstractinterpretation7thinternationalconferencevmcai2006charlestonscusajanuary8102006proceedings |