TACAS 2008
Jump to navigation
Jump to search
| Name | Value |
|---|---|
| isA | Event |
| Acronym | TACAS 2008 |
| Title | International Conference on Tools and Algorithms for the Construction and Analysis of Systems 2008 |
| Start date | 2008/03/29 |
| End date | 2008/04/06 |
| Homepage | www.cs.stonybrook.edu/~tacas2008/ |
| ... | ... |