Karin Coninx (auth.)

Interactive Systems: Design, Specification, and Verification: 8th International Workshop, DSV-IS 2001 Glasgow, Scotland, UK, June 13–15, 2001 Revised Papers

2001 · ENGLISH · PDF

View details →