Verification of Sequential and Concurrent Programs Second Edition
1997 年出版364 页ISBN:0387948961
Guidance for the Verification and Validation of Neural Networks
2007 年出版133 页ISBN:9780470084571
《酉阳杂俎》校证 兼字词考释 Collation and Verification of youyang Zazu TextaE
刘传鸿著2014 年出版0 页ISBN: