Lecture Notes in Computer Science 3639 Model Checking Software 12th International SPIN Workshop
2005 年出版287 页ISBN:3540281959
COMPUTERS AND INFORMATION PROCESSING
FLOYD FULLER WILLIAM MANNING1994 年出版526 页ISBN:0877094853
Logic And Software Engineering International Workshop in Honor of Chin-Sung Tang
1996 年出版311 页ISBN:981022804X