ALDINI, A., & BERNARDO, M. (2007, January 1). A formal approach to the integrated analysis of security and Qo S. 92(11). Oxford: Elsevier, 2007. Retrieved from http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=19010718
ISO-690 (author-date, English)ALDINI, Alessandro and BERNARDO, Marco, 2007. A formal approach to the integrated analysis of security and Qo S. In: [online]. Oxford: Elsevier, 2007. 1 January 2007. Available from: http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=19010718
Modern Language Association 9th editionALDINI, A., and M. BERNARDO. A formal approach to the integrated analysis of security and Qo S. no. 11, Oxford: Elsevier, 2007., 2007, http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=19010718.
Mohr Siebeck - Recht (Deutsch - Österreich)Emerald - Harvard
ALDINI, A. and BERNARDO, M. (2007), “A formal approach to the integrated analysis of security and Qo S”, in , Vol. 92, Oxford: Elsevier, 2007., available at: http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=19010718.