Formal Methods in Computer-Aided Design | 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings | ISBN 9783540304944

Formal Methods in Computer-Aided Design

5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings

herausgegeben von Alan J. Hu und Andrew K. Martin
Mitwirkende
Herausgegeben vonAlan J. Hu
Herausgegeben vonAndrew K. Martin