Diagnosing Program Errors with Light-Weighted Specifications

Advances in Applied Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/11779568_69 ◽

2006 ◽

pp. 639-649 ◽

Cited By ~ 3

Author(s):

Rong Chen ◽

Franz Wotawa

Download Full-text