Designing Correct Circuits, Proceedings of the Second IFIP WG10.2/WG10.5 Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January 1992

Jørgen Staunstrup Robin Sharp Designing Correct Circuits, Proceedings of the Second IFIP WG10.2/WG10.5 Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January 1992 Designing Correct Circuits IFIP Transactions A-5 North-Holland 1992 0-444-89335-0 db/conf/ifip10-2/ifip10-2-1992a.html