Real Time Programming Languages
Specification and Verification2010 年出版245 页ISBN：9810225667
Lecture Notes in Computer Science 4383 Hardware and Software
Verification and Testing Second International Haifa Verification Conference2007 年出版235 页ISBN：
QUALITY CONTROL AND SPECIFICATION2014 年出版327 页ISBN：0415504997
NATIONAL FOREST MONITORING SYSTEMS:MONITORING AND MEASUREMENT
REPORTING AND VERIFICATION (M & MRV) IN THE CONTEXT OF REDD+ACTIVITIES2013 年出版24 页ISBN：9251079625
Lecture Notes in Computer Science 3941 Interactive Systems Design
Specification2006 年出版0 页ISBN：
Lecture Notes in Computer Science 4323 Interactive Systems Design
Specification2007 年出版0 页ISBN：
r.c.anand and g.h.dar and g.g.guibault and h.jung and k.jung and h.p.kleber1993 年出版131 页ISBN：3540565361
P.Bagnarelli and g.belfort and u.bjare and m.butler and m.clementi1987 年出版175 页ISBN：3540176268
