Cita APA (7th ed.)

Ceballos, R. Constraint satisfaction techniques for diagnosing errors in design by contract software. Software engineering notes..

Cita Chicago (17th ed.)

Ceballos, Rafael. "Constraint Satisfaction Techniques for Diagnosing Errors in Design by Contract Software." Software Engineering Notes. .

Cita MLA (9th ed.)

Ceballos, Rafael. "Constraint Satisfaction Techniques for Diagnosing Errors in Design by Contract Software." Software Engineering Notes., .