Lecture Notes in Computer Science 3308 Formal Methods and Software Engineering 6th International Con
ICFEM 20042004 年出版500 页ISBN:3540238417
Lecture Notes in Computer Science 4789 Formal Methods and Software Engineering 9th International Con
ICFEM 20072007 年出版386 页ISBN:9783540766483
Lecture Notes in Computer Science 3199 Software and Compilers for Embedded Systems 8th International
SCOPES 20042004 年出版259 页ISBN:3540230351
Lecture Notes in Computer Science 4260 Formal Methods and Software Engineering 8th International Con
ICFEM 20062006 年出版775 页ISBN:3540474609
Lecture Notes in Computer Science 48 Theoretical Computer Science 3rd GI Conference Darmstadt
March 19771977 年出版418 页ISBN:3540081380