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

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

Manuel Núñez , Key Pousttchi , Fernando Rubio