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.
@inproceedings{DurrieuKL92,
title = {Transe: An Experimental Transformation Assistant for Digital Circuit Design},
author = {Guy Durrieu and Kamel Kessaci and Michel Lemaître},
year = {1992},
tags = {design, transformation},
researchr = {https://researchr.org/publication/DurrieuKL92},
cites = {0},
citedby = {0},
pages = {103-118},
booktitle = {Designing Correct Circuits, Proceedings of the Second IFIP WG10.2/WG10.5 Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January 1992},
editor = {Jørgen Staunstrup and Robin Sharp},
volume = {A-5},
series = {IFIP Transactions},
publisher = {North-Holland},
isbn = {0-444-89335-0},
}