International Conference on Tools and Algorithms for the Construction and Analysis of Systems
E2000710
UNEXPLORED
The International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) is a leading annual research conference focused on theoretical and practical aspects of tools and methods for the design, verification, and analysis of computer systems.
All labels observed (1)
| Label | Occurrences |
|---|---|
| International Conference on Tools and Algorithms for the Construction and Analysis of Systems canonical | 1 |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.
TACAS 2008
→
series
→
International Conference on Tools and Algorithms for the Construction and Analysis of Systems
ⓘ