[(Interactive Systems - Design, Specification and Verification: 8th International Workshop, DSV-IS 2001, Glasgow, Scotland, UK, June 13-15, 2001 Revised Papers )] [Author: Chris J. Johnson] [Nov-2001]

الوصف

[(Interactive Systems - Design, Specification and Verification: 8th International Workshop, DSV-IS 2001, Glasgow, Scotland, UK, June 13-15, 2001 Revised Papers )] [Author: Chris J. Johnson] [Nov-2001]