автор: Fernando Pelayo

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