Formal Techniques for Networked and Distributed Systems(FORTE) 2004 Workshops: The FormEMC: 1st International Workshop on Theory Building and Formal Methods in Electronic/Mobile Commerce, EPEW: 1st European Performance Engineering Workshop, ITM: 1st International Workshop on Integration of Testing Methodologies

• 召开年：
• 召开地：
• 出版时间：-

会议文集：-