Automated technology for verification and analysis : 5th international symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 proceedings /
57
| Main Authors: | , , |
|---|---|
| Formato: | |
| Idioma: | eng |
| Publicado: |
Heidelberg, New York : Springer,
2007
|
| Subjects: | |
| Acceso en liña: | http://dx.doi.org/10.1007/978-3-540-75596-8 |
| _version_ | 1826391786007822336 |
|---|---|
| author | Namjoshi, Kedar S. Yoneda, Tomohiro Higashino, Teruo |
| author_facet | Namjoshi, Kedar S. Yoneda, Tomohiro Higashino, Teruo |
| author_sort | Namjoshi, Kedar S. |
| collection | OCEAN |
| description | 57 |
| first_indexed | 2024-03-04T21:30:04Z |
| format | |
| id | KOHA-OAI-TEST:180340 |
| institution | Universiti Teknologi Malaysia - OCEAN |
| language | eng |
| last_indexed | 2024-03-04T21:30:04Z |
| publishDate | 2007 |
| publisher | Heidelberg, New York : Springer, |
| record_format | dspace |
| spelling | KOHA-OAI-TEST:1803402020-12-19T17:04:59ZAutomated technology for verification and analysis : 5th international symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 proceedings / Namjoshi, Kedar S. Yoneda, Tomohiro Higashino, Teruo Heidelberg, New York : Springer,2007eng575859PSZJBLAutomatic theorem provinghttp://dx.doi.org/10.1007/978-3-540-75596-8URN:ISBN:9783540755951 (pbk.)URN:ISBN:9783540755968 (electronic bk.)Remote access restricted to users with a valid UTM ID via VPN |
| spellingShingle | Automatic theorem proving Namjoshi, Kedar S. Yoneda, Tomohiro Higashino, Teruo Automated technology for verification and analysis : 5th international symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 proceedings / |
| title | Automated technology for verification and analysis : 5th international symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 proceedings / |
| title_full | Automated technology for verification and analysis : 5th international symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 proceedings / |
| title_fullStr | Automated technology for verification and analysis : 5th international symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 proceedings / |
| title_full_unstemmed | Automated technology for verification and analysis : 5th international symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 proceedings / |
| title_short | Automated technology for verification and analysis : 5th international symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 proceedings / |
| title_sort | automated technology for verification and analysis 5th international symposium atva 2007 tokyo japan october 22 25 2007 proceedings |
| topic | Automatic theorem proving |
| url | http://dx.doi.org/10.1007/978-3-540-75596-8 |
| work_keys_str_mv | AT namjoshikedars automatedtechnologyforverificationandanalysis5thinternationalsymposiumatva2007tokyojapanoctober22252007proceedings AT yonedatomohiro automatedtechnologyforverificationandanalysis5thinternationalsymposiumatva2007tokyojapanoctober22252007proceedings AT higashinoteruo automatedtechnologyforverificationandanalysis5thinternationalsymposiumatva2007tokyojapanoctober22252007proceedings |