Implementation of the Veritas Design Logic.

Keith Hanna Neil Daeche Gareth Howells Implementation of the Veritas Design Logic. 77-94 1992 conf/tpcd/1992 TPCD db/conf/tpcd/tpcd1992.html#HannaDH92