This page in English
SucheDesign and proof of multipliers by correctness-preserving transformation
C. Delgado Kloos, W. Dosch, B. Möller
IEEE International Conference on Computer Systems and Software Engineering (CompEuro 92).
pp. 238-243, Los Alamitos, CA, USA, 1992.
In P. Dewilde, J. Vandewalle (eds.): Proc. IEEE International Conference on Computer Systems and Software Engineering.
IEEE Computer Society Press.
pp. 238-243, Los Alamitos, CA, USA, 1992.
In P. Dewilde, J. Vandewalle (eds.): Proc. IEEE International Conference on Computer Systems and Software Engineering.
IEEE Computer Society Press.