Hu, Alan J.
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Formal methods in computer-aided design = 5th international confrence [i.e. conference], FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 ; proceedings /
by:
FMCAD 2004 ((2004 :); Hu, Alan J.; Martin, Andrew K.; SpringerLink (Online service)
(Electronic resources)