TACAS 2014: 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
| Type | Conference |
|---|---|
| Title | TACAS 2014: 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems |
| Event date | 05 to end of 13 Apr 2014 |
| Location | Grenoble, France |