Interactive Systems. Design Specification, and Verification: 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers (Lecture Notes in Computer Science / Programming and Software Engineering)
Interactive Systems. Design Specification, and Verification: 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers (Lecture Notes in Computer Science / Programming and Software Engineering)
読み込み中…
