Applying Formal Methods: Testing, Performance, and M/E-Commerce | lit.salon