BOOKS EDITED
“
Applying Formal Methods: Testing, Performance and M/Ecommerce”
Lecture Notes in Computer Science. N 3236
SPRINGER
Proceedings of
FORTE'2004
colocated
workshops:
The FormEMC
,
EPEW
,
ITM
Madrid - Toledo. SPAIN
September - October 2004