Formal Methods in Computer-Aided Design, 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Alan J. Hu, Andrew K. Martin, editors, Formal Methods in Computer-Aided Design, 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings. Volume 3312 of Lecture Notes in Computer Science, Springer, 2004.

Conference: FMCAD2004

This author has not been identified. Look up 'Alan J. Hu' in GoogleThis author has not been identified. Look up 'Andrew K. Martin' in Google

runs on WebDSL