Precise Specification to Compound Patterns with ExLePUS
- Jeffrey K.H. Mak
- , Sze Tsan Choy
- , Pak Kong Lun
Research output: Journal article publication › Conference article › Academic research › peer-review
4
Link opens in a new tab
Citations
(Scopus)