Automated Specification Discovery via User-Defined Predicates

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-41202-8_26 ◽

2013 ◽

pp. 397-414 ◽

Cited By ~ 2

Author(s):

Guanhua He ◽

Shengchao Qin ◽

Wei-Ngan Chin ◽

Florin Craciun

Download Full-text