Applying Formal Methods: Testing, Performance, and M/E-Commerce FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 - Núnez, Manuel; Núnez, Manuel; Maamar, Zakaaria; Maamar, Zakaaria; Pelayo, Fernando; Pelayo, Fernando; Pousttchi, Key; Pousttchi, Key; Rubio, Fernando; Rubio, Fernando (Springer Berlin Heidelberg : Imprint: Springer, 2004)