Constraint satisfaction techniques for diagnosing errors in...

ACM SIGSOFT Software Engineering Notes 2006 / 03 Vol. 31; Iss. 2

Constraint satisfaction techniques for diagnosing errors in design by contract software

Ceballos, Rafael, Gasca, Rafael Martinez, Borrego, Diana
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
31
Language:
english
Journal:
ACM SIGSOFT Software Engineering Notes
DOI:
10.1145/1118537.1123070
Date:
March, 2006
File:
PDF, 112 KB
english, 2006
Conversion to is in progress
Conversion to is failed