author : S. Mazzanti

Short works

• A Practical Method for Rigorously Controllable Hardware Design. 1997. (In ZUM '97 )