ESSENTIAL .NET:THE COMMON LANGUAGE RUNTIME VOLUME 1
DON BOX WITH CHRIS SELLS2003 年出版405 页ISBN:
Lecture Notes in Computer Science 3114 Computer Aided Verification 16th International Conference
CAV 20042004 年出版536 页ISBN:3540223428
Lecture Notes in Computer Science 3634 Computer Science Logic 19th International Workshop
CSL 20052005 年出版567 页ISBN:3540282319