ผู้เขียน: Zakaaria Maamar

Zakaaria Maamar & Manuel Nunez: Applying Formal Methods: Testing, Performance, and M/E-Commerce