Vérification formelle des circuits digitaux décrits en VHDL. - Ashrag Mohamed El-Farghly Salem (1992)