Anne Philippou

• Reasoning about systems with evolving structure