Lecture Notes in Computer Science 4634 Static Analysis 14th International Symposium
SAS 20072007 年出版467 页ISBN：9783540740605
Lecture Notes in Computer Science 4089 Software Composition 5th International Symposium
SC 20062006 年出版339 页ISBN：3540376577
Lecture Notes in Computer Science 4134 Static Analysis 13th International Symposium
SAS 20062006 年出版443 页ISBN：3540377565
Lecture Notes in Computer Science 3148 Static Analysis 11th International Symposium
SAS 20042004 年出版393 页ISBN：3540227911
Lecture Notes in Computer Science 4829 Software Composition 6th International Symposium
SC 20072007 年出版281 页ISBN：9783540773504
Lecture Notes in Computer Science 3672 Static Analysis 12th International Symposium
SAS 20052005 年出版369 页ISBN：3540285849
Lecture Notes in Computer Science 4167 Distributed Computing 20th International Symposium
DISC 20062006 年出版576 页ISBN：3540446249
Lecture Notes in Computer Science 23 Programming Methodology 4th Informatik Symposium
IBM Germany1975 年出版501 页ISBN：3540071318
