On the Practical Need for Abstraction Relations to Verify Abstract Data Type Representations.

Published in: IEEE Trans. Software Eng. (1997)

Keyphrases