× Formal Methods in Computer-Aided Design5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedingsherausgegeben von Alan J. Hu und Andrew K. MartinMitwirkendeHerausgegeben vonAlan J. HuHerausgegeben vonAndrew K. MartinIncludes supplementary material: sn. pub/extras Verfügbarkeit jetzt prüfen