BOUQUET, F., DADEAU, F., LEGEARD, B., & UTTING, M. (2005, January 1). JML-testing-tools : A symbolic animator for JML specifications using CLP. Presented at the. Berlin: Springer, 2005. Retrieved from http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=16896048
ISO-690 (author-date, English)BOUQUET, Fabrice, DADEAU, Frédéric, LEGEARD, Bruno and UTTING, Mark, 2005. JML-testing-tools : A symbolic animator for JML specifications using CLP. In: [online]. Berlin: Springer, 2005. 1 January 2005. Available from: http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=16896048
Modern Language Association 9th editionBOUQUET, F., F. DADEAU, B. LEGEARD, and M. UTTING. JML-testing-tools : A symbolic animator for JML specifications using CLP. Berlin: Springer, 2005., 2005, http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=16896048.
Mohr Siebeck - Recht (Deutsch - Österreich)Emerald - Harvard
BOUQUET, F., DADEAU, F., LEGEARD, B. and UTTING, M. (2005), “JML-testing-tools : A symbolic animator for JML specifications using CLP”, in , Vol. , Berlin: Springer, 2005., available at: http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=16896048.