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

Alan J. Hu Andrew K. Martin Formal Methods in Computer-Aided Design, 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings 3312 3-540-23738-0 FMCAD Lecture Notes in Computer Science Springer 2004 db/conf/fmcad/fmcad2004.html