Interactive Systems Design, Specification, and Verification 7th International Workshop, DSV-IS 2000 Limerick, Ireland, June 5-6, 2000 Revised Papers / edited by Philippe Palanque, Fabio Paternò.
Material type:
- 9783540446750
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
![]() |
ICCBS Digital Library | Not for loan |