Metodos formales para verificacion de hardware: Un estudio comparativo (1996)

by Victor Rangel
Venue:Master's thesis, Instituto Tecnologico de