Disambiguation evidence for Formal Methods group via surface form
"Software Modeling and Verification Group at RWTH Aachen University"
Triples (1)
Triples where some other subject referred to this entity
as "Software Modeling and Verification Group at RWTH Aachen University".
Joost-Pieter Katoen
→
affiliation
→
"Software Modeling and Verification Group at RWTH Aachen University"
ⓘ
↳ resolves to Formal Methods group