Precise Specification to Compound Patterns with ExLePUS.

Jeffrey Ka-Hing Mak, Clifford Sze-Tsan Choy, Daniel Pak-Kong Lun

Browse the full COMPSAC paper archive.