Modelado y verificación de hardware usando tipos abstractos de datos (2008)
Ingeniero de Sistemas y Computación