Ceballos, R. Constraint satisfaction techniques for diagnosing errors in design by contract software. Software engineering notes..
Citazione stile Chigago Style (17a edizione)Ceballos, Rafael. "Constraint Satisfaction Techniques for Diagnosing Errors in Design by Contract Software." Software Engineering Notes. .
Citatione MLA (9a ed.)Ceballos, Rafael. "Constraint Satisfaction Techniques for Diagnosing Errors in Design by Contract Software." Software Engineering Notes., .
Attenzione: Queste citazioni potrebbero non essere precise al 100%.