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 journalArticlepeer-review

151 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Automated Specification Inference in a Combined Domain via User-Defined Predicates'. Together they form a unique fingerprint.

Engineering & Materials Science