Book

Applying Formal Methods: Testing, Performance, and M/E-Commerce

by Manuel Núnez, Key Pousttchi, Fernando Rubio