| Title | Interactive Systems: Design, Specification, and Verification: 8th International Workshop, DSV-IS 2001 Glasgow, Scotland, UK, June 13–15, 2001 Revised Papers |
|---|---|
| Author | Kris Luyten, Karin Coninx (auth.), Chris Johnson (eds.) |
| Year | 2001 |
| Edition | 1 |
| Volume | |
| Series | Lecture Notes in Computer Science 2220 |
| Publisher | Springer-Verlag Berlin Heidelberg |
| City | |
| Language | English |
Size: 2.35MB | Pages: 221 |
LLC: N/A | DDC:
Related Books
- No Related Books!