Verification Languages

Aarti Gupta, Ali Alphan Bayazit, Yogesh S. Mahajan. Verification Languages. In Richard Zurawski, editor, The Industrial Information Technology Handbook. pages 1-18, CRC Press, 2005.

Abstract

Abstract is missing.