The Spurious Path Problem in Abstraction

Open in new window