Disambiguation evidence for Track B: Automata, Logic, Semantics and Theory of Programming via surface form
"Track B: Automata, Logic, Semantics"
Triples (1)
Triples where some other subject referred to this entity
as "Track B: Automata, Logic, Semantics".