Transe: An Experimental Transformation Assistant for Digital Circuit Design

Guy Durrieu, Kamel Kessaci, Michel Lemaître. Transe: An Experimental Transformation Assistant for Digital Circuit Design. In Jørgen Staunstrup, Robin Sharp, editors, Designing Correct Circuits, Proceedings of the Second IFIP WG10.2/WG10.5 Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January 1992. Volume A-5 of IFIP Transactions, pages 103-118, North-Holland, 1992.

Authors

Guy Durrieu

This author has not been identified. Look up 'Guy Durrieu' in Google

Kamel Kessaci

This author has not been identified. Look up 'Kamel Kessaci' in Google

Michel Lemaître

This author has not been identified. Look up 'Michel Lemaître' in Google