Lecture Notes In Computer Science; Vol. 2220 archive Proceedings of the 8th International Workshop on Interactive Systems: Design, Specification, and Verification
- Publisher
- Springer
- Website
- Year
- 2003
- Period
- June 11-13
- Place
- Funchal, Madeira Island, Portugal
- ISBN
- DOI
- Volume
- Copyright info