Applying Formal Methods: Testing, Performance, and M/E-Commerce: Proc./FORTE 2004 Workshops The FormEMC, EPEW, ITM. Toledo, Spain, October 2004

Б2.2, Б2.1, Б3.5, А3.5.

Applying Formal Methods: Testing, Performance, and M/E-Commerce: Proc./FORTE 2004 Workshops The FormEMC, EPEW, ITM. Toledo, Spain, October 2004Ed. by Nunez M., Maamar Z., Pelayo F. L., Pousttchi K..-Berlin, Heidelberg.: Springer, 2004.-Vol. 3236.-381 p.-(Lecture Notes in Computer Science).