Disambiguation evidence for International Conference on Tools and Algorithms for the Construction and Analysis of Systems via surface form
"International Conference on Tools and Algorithms for the Construction and Analysis of Systems"
Triples (1)
Triples where some other subject referred to this entity
as "International Conference on Tools and Algorithms for the Construction and Analysis of Systems".
TACAS 2008
→
series
→
"International Conference on Tools and Algorithms for the Construction and Analysis of Systems"
ⓘ