A Formal Approach to Design Patterns in Re-Engineering

N. Malik, Kevin Lano. A Formal Approach to Design Patterns in Re-Engineering. In Henry McGloughlin, Gerard O Regan, editors, 1st Irish Workshop on Formal Methods, IWFM 1997, Dublin, Eire, 3-4 July 1997. Workshops in Computing, BCS, 1997.

Abstract

Abstract is missing.