Constraint satisfaction techniques for diagnosing errors in Design by Contract software

Ceballos, Rafael; Gasca, Rafael Martínez; Borrego, Diana

Tipo: Ponencia
Año de Publicación: 2005
Acceso abierto: Vía verde
Fuente Nº Citas Fecha Actualización
scopus101-10-2022
Dimensions
PlumX
Altmetric
No exiten datos para esta publicación
# Autor Afiliación
1Ceballos, RafaelUniversidad de Sevilla (Spain)
2Gasca, Rafael MartínezUniversidad de Sevilla (Spain)
3Borrego, DianaUniversidad de Sevilla (Spain)