Applying Formal Methods: Testing, Performance, and M/E-Commerce (FORTE 2004 Workshops)

Manuel Núñez , Key Pousttchi , Fernando Rubio