Lecture Notes in Computer Science 3573 Logic Based Program Synthesis and Transformation 14th Interna
LOPSTR 20042005 年出版277 页ISBN:3540266550
Lecture Notes in Computer Science 3901 Logic Based Program Synthesis and Transformation 15th Interna
LOPSTR 20052006 年出版179 页ISBN:3540326545
Lecture Notes in Computer Science 3412 COTS-Based Software Systems 4th International Conference
ICCBSS 20052005 年出版312 页ISBN:3540245480