• Formalization and validation of the std logic-1164 and numeric-std VHDL packages using the nqthm theorem proverDušina, Julia; Borrione, Dominique2nd Workshop on Libraries, Component Modeling and Quality Assurance : proceedings : Toledo, Spain, April, 19971997 / p. 169-180