Ulf Schellin
1 reference under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Register-transfer level verification in SMAX
Hans Eveking and others (1991) · CHARME Project Report THD-2.B.2.b-01