Problems encountered in the machine-assisted proof of hardware.

Paul Curzon Problems encountered in the machine-assisted proof of hardware. 56-70 1995 conf/charme/1995 CHARME db/conf/charme/charme1995.html#Curzon95