Mining Dataflow Sensitive Specifications

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

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

2013 ◽

pp. 36-52 ◽

Cited By ~ 2

Author(s):

Zhiqiang Zuo ◽

Siau-Cheng Khoo

Download Full-text