✦ LIBER ✦
[Lecture Notes in Computer Science] Integrated Formal Methods Volume 2999 || Using UML Sequence Diagrams as the Basis for a Formal Test Description Language
✍ Scribed by Boiten, Eerke A.; Derrick, John; Smith, Graeme
- Book ID
- 117994070
- Publisher
- Springer Berlin Heidelberg
- Year
- 2004
- Weight
- 422 KB
- Category
- Article
- ISBN
- 3540247564
No coin nor oath required. For personal study only.