Disambiguation evidence for Failures-Divergence Refinement via surface form
"Failures-Divergence Refinement"
Triples (1)
Triples where some other subject referred to this entity
as "Failures-Divergence Refinement".
FDR model checker
→
abbreviationOf
→
"Failures-Divergence Refinement"
ⓘ
↳ resolves to Failures-Divergence Refinement