FormEMC (Workshop) Books
Applying Formal Methods: Testing, Performance, And M/E-Commerce
By Fernando Rubio, Key Pousttchi, Manuel Núñez, Zakaaria Maamar, Fernando Pelayo, FormEMC (Workshop)
This Book Constitutes The Joint Refereed Proceedings Of The First International Workshop On Theory Building And Formal Methods In Electronic/mobile Commerce, Theformemc, The First European Performa...
Read More