Disambiguation evidence for Boogie intermediate verification language via surface form
"Boogie intermediate verification language"
Triples (1)
Triples where some other subject referred to this entity
as "Boogie intermediate verification language".
Spec#
→
uses
→
"Boogie intermediate verification language"
ⓘ
↳ resolves to Boogie intermediate verification language