Disambiguation evidence for Spec# Programming System: An Overview via surface form
"Spec# Programming System: An Overview"
Triples (1)
Triples where some other subject referred to this entity
as "Spec# Programming System: An Overview".
Spec#
→
documentation
→
"Spec# Programming System: An Overview"
ⓘ
↳ resolves to Spec# Programming System: An Overview