Advanced research working conference CHARME'95 : 1995
Titolo
Correct hardware design and verification methods : Advanced research working conference CHARME'95 : Frankfurt/Main, Germany, October 2-4, 1995 : proceedings / Paolo E. Camurati ... [etc.] (eds.)