Disambiguation evidence for Compositional model checking via surface form
"Compositional model checking"
Triples (1)
Triples where some other subject referred to this entity
as "Compositional model checking".
Kenneth McMillan
→
notableWork
→
"Compositional model checking"
ⓘ
↳ resolves to Compositional model checking