Tools and Algorithms for the Construction and Analysis of Systems
E2000708
UNEXPLORED
Tools and Algorithms for the Construction and Analysis of Systems (TACAS) is an international conference focused on research and development of tools and theoretical foundations for the construction, verification, and analysis of computer systems.
All labels observed (1)
| Label | Occurrences |
|---|---|
| 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.