TACAS

E2000711 UNEXPLORED

TACAS is an international conference focused on tools and algorithms for the construction and analysis of systems in computer science.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (1)

Label Occurrences
TACAS canonical 1

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

TACAS 2008 → hasAbbreviation → TACAS ⓘ