Applying Formal Methods: Testing, Performance, and M/E-Commerce by Manuel Nunez | Menrva Books | MenrvaBooks