HERMENEGILDO, M., PUEBLA, G., BUENO, F., & LOPEZ-GARCIA, P. (2003, January 1). Abstract verification and debugging of constraint logic programs. Presented at the. Berlin: Springer, 2003. Retrieved from http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=14934518
ISO-690 (author-date, English)HERMENEGILDO, Manuel, PUEBLA, German, BUENO, Francisco and LOPEZ-GARCIA, Pedro, 2003. Abstract verification and debugging of constraint logic programs. In: [online]. Berlin: Springer, 2003. 1 January 2003. Available from: http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=14934518
Modern Language Association 9th editionHERMENEGILDO, M., G. PUEBLA, F. BUENO, and P. LOPEZ-GARCIA. Abstract verification and debugging of constraint logic programs. Berlin: Springer, 2003., 2003, http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=14934518.
Mohr Siebeck - Recht (Deutsch - Österreich)Emerald - Harvard
HERMENEGILDO, M., PUEBLA, G., BUENO, F. and LOPEZ-GARCIA, P. (2003), “Abstract verification and debugging of constraint logic programs”, in , Vol. , Berlin: Springer, 2003., available at: http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=14934518.