Fingerprint
Dive into the research topics of 'Automated Specification Inference in a Combined Domain via User-Defined Predicates'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Automated Specification Inference in a Combined Domain via User-Defined Predicates
Shengchao Qin, Guanhua He, Wei-Ngan Chin, Florin Craciun, Mengda He, Zhong Ming
Research output: Contribution to journal › Article › peer-review
245
Downloads
(Pure)