Formal methods for multimethod software components

Gary T. Leavens. Formal methods for multimethod software components. ACM SIGSOFT Software Engineering Notes, 25(1):62-63, 2000. [doi]

Abstract

Abstract is missing.