Imagen Principal
1

Verificación de Hardware y Lógica de Orden Superior (Tractos de Cambridge en Ciencia Computacional Teórica, Volumen 31)

Imagen ampliada