Rafael Ceballos, Rafael Martinez Gasca, Diana Borrego. Constraint satisfaction techniques for diagnosing errors in design by contract software. ACM SIGSOFT Software Engineering Notes, 31(2), 2006. [doi]
No references recorded for this publication.
No citations of this publication recorded.