Interactive Systems. Design, Specification, and Verification
Interactive Systems. Design, Specification, and Verification
This book constitutes the thoroughly refereed post-proceedings of the 10th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS 2003, held in
Nav komentāru:
Ierakstīt komentāru