e (verification language)

Blocks (ALF) P1647 Standard for the Functional Verification Language 'e' (eWG) P1666 Standard SystemC Language Reference Manual [cosponsored with IEEE-SA

Bringmann, E.; Krämer, A. Model-Based Testing of Automotive Systems (PDF). 2008 International Conference on Software Testing, Verification, and Validation

of God. Learnkabbalah.com. [2016-11-16]. （原始内容存档于2016-12-23）.  also verification at about jay michaelson （页面存档备份，存于互联网档案馆） Dr. Gerald Schroeder. Your

verification, and test. Morgan Kaufmann. 2009. ISBN 978-0-12-374364-0. chapter 6.  Gary D. Hachtel; Fabio Somenzi. Logic synthesis and verification algorithms

co.uk e-Government Project RISER "Address Verification online in Europe" （页面存档备份，存于互联网档案馆） Informatics : An e-Government Publication from National Informatics