| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Applying Formal Methods: Testing, Performance, and M/E-Commerce: FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 | 978-3-54O-23169-1 (3-54O-23169-2) | 2008 | Fernando Pelayo · Zakaaria Maamar · Key Pousttchi · Fernando Rubio |