Lecture Notes in Computer Science 3924 Programming Languages and Systems 15th European Symposium on
ESOP 20062006 年出版343 页ISBN:354033095X
Lecture Notes in Computer Science 3965 Formal Methods for Hardware Verification 6th International Sc
Communication2006 年出版0 页ISBN:
Lecture Notes in Computer Science 244 Advanced Programming Environments
1986 年出版604 页ISBN:3540171894