19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
| Type | Conference |
|---|---|
| Title | 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) |
| Event date | 16 to end of 24 Mar 2013 |
| Location | Rome |