A.C. · Alessandra Cavalli-Wordel · Alessandro Cavalli · Ana Cavalli
| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Formal Description Techniques and Protocol Specification, Testing and Verification | 978-0-412-84760-8 (0-412-84760-4) | 1998 | Stan Budkowski · Elie Najm |
| SDL '97: Time for Testing: SDL, MSC and Trends | 978-0-444-82816-3 (0-444-82816-8) | 1997 | A. Sarma |