Applying Formal Methods: Testing, Performance, and M/E-Commerce : FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004. Proceedings - Núñez, Manuel (Verfasser); Maamar, Zakaria (Verfasser); Pelayo, Fernando L (Verfasser); Pousttchi, Key (Verfasser); Rubio, Fernando (Verfasser) (Lecture Notes in Computer Science, 2004)