Options
Title
Applying formal methods. Testing, performance and M/E-commerce
Title Supplement
FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1 - 2, 2004. Proceedings
Person Involved
Publisher
Publishing Place
Berlin
Publication Date
2004
Series
Lecture Notes in Computer Science; 3236
ISBN
3-540-23169-2
Conference