Applying Formal Methods: Testing, Performance, and M/E-CommerceManuel Núnez, Key Pousttchi, Fernando Rubio · First published 2004Open the Tome