Precise Specification to Compound Patterns with ExLePUS

Jeffrey K.H. Mak, Sze Tsan Choy, Pak Kong Lun

Research output: Journal article publicationConference articleAcademic researchpeer-review

4 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Precise Specification to Compound Patterns with ExLePUS'. Together they form a unique fingerprint.

Keyphrases

Computer Science