QUALITY CONTROL AND SPECIFICATION2014 年出版327 页ISBN:0415504997
Real Time Programming Languages
Specification and Verification2010 年出版245 页ISBN:9810225667
Lecture Notes in Computer Science 3941 Interactive Systems Design
Specification2006 年出版0 页ISBN:
Lecture Notes in Computer Science 4323 Interactive Systems Design
Specification2007 年出版0 页ISBN: