Applying Formal Methods: Testing, Performance and M/ECommerce, FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004

Manuel Núñez Zakaria Maamar Fernando L. Pelayo Key Pousttchi Fernando Rubio Applying Formal Methods: Testing, Performance and M/ECommerce, FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 FORTE Workshops Lecture Notes in Computer Science 3236 Springer 2004 3-540-23169-2 db/conf/forte/fortew2004.html