Precise Specification to Compound Patterns with ExLePUS

Jeffrey Ka-Hing Mak, Clifford Sze-Tsan Choy, Daniel Pak-Kong Lun. Precise Specification to Compound Patterns with ExLePUS. In 27th International Computer Software and Applications Conference (COMPSAC 2003): Design and Assessment of Trustworthy Software-Based Systems, 3-6 November 2003, Dallas, TX, USA, Proceedings. pages 440-445, IEEE Computer Society, 2003. [doi]

Authors

Jeffrey Ka-Hing Mak

This author has not been identified. Look up 'Jeffrey Ka-Hing Mak' in Google

Clifford Sze-Tsan Choy

This author has not been identified. Look up 'Clifford Sze-Tsan Choy' in Google

Daniel Pak-Kong Lun

This author has not been identified. Look up 'Daniel Pak-Kong Lun' in Google