APA (7th ed.) Citation

FORTE 2004 Toledo, Spain, FormEMC (Workshop), EPEW (Workshop), ITM (Conference), & Núñez, M. (2004). Applying formal methods: Testing, performance, and M/E-commerce : FORTE 2004 workshops, TheFormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : proceedings. Springer.

Chicago Style (17th ed.) Citation

FORTE 2004 Toledo, Spain, FormEMC (Workshop), EPEW (Workshop), ITM (Conference), and Manuel Núñez. Applying Formal Methods: Testing, Performance, and M/E-commerce : FORTE 2004 Workshops, TheFormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : Proceedings. Berlin ; New York: Springer, 2004.

MLA (9th ed.) Citation

FORTE 2004 Toledo, Spain, et al. Applying Formal Methods: Testing, Performance, and M/E-commerce : FORTE 2004 Workshops, TheFormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : Proceedings. Springer, 2004.