Lecture Notes in Computer Science 3286 Generative Programming and Component Engineering Third Intern
GPCE 20042004 年出版491 页ISBN:3540235809
Lecture Notes in Computer Science 4502 Types for Proofs and Programs International Workshop
TYPES 2006 Nottingham2222 年出版0 页ISBN:
Lecture Notes in Computer Science 3085 Types for Proofs and Programs International Workshop
TYPES 2003 Torino2222 年出版0 页ISBN: