SpringerLink (Online service), Núnez, M., Maamar, Z., Pelayo, F., Pousttchi, K., & Rubio, F. (2004). Applying Formal Methods: Testing, Performance, and M/E-Commerce: FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 (1st ed. 2004.). Springer Berlin Heidelberg : Imprint: Springer. https://doi.org/10.1007/b100825
Παραπομπή σε μορφή Chicago (17η εκδ.)SpringerLink (Online service), Manuel Núnez, Zakaaria Maamar, Fernando Pelayo, Key Pousttchi, και Fernando Rubio. Applying Formal Methods: Testing, Performance, and M/E-Commerce: FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004. 1st ed. 2004. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 2004. https://doi.org/10.1007/b100825.
Παραπομπή σε μορφή MLA (8th εκδ.)SpringerLink (Online service), et al. Applying Formal Methods: Testing, Performance, and M/E-Commerce: FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004. 1st ed. 2004. Springer Berlin Heidelberg : Imprint: Springer, 2004. https://doi.org/10.1007/b100825.