FORTE 2004 Workshops Books
Applying Formal Methods: Testing, Performance, And M/E-Commerce: Forte 2004 Workshops The Formemc, Epew, Itm, Toledo, Spain, October 1-2, 2004
By Fernando Rubio, Key Pousttchi, Zakaaria Maamar, Fernando Pelayo, Manuel (Editor.) Núñez, Manuel N??Nez, FORTE 2004 Workshops
This Volume Contains The Refereed Proceedings Of The ?rst Edition Of Three Wo- Shops Colocated With The International Conference On Formal Techniques For Networked And Distributed Systems (forte)....
Read More