Formal Methods in Computer-Aided Design, Third International Conference, FMCAD 2000, Austin, Texas, USA, November 1-3, 2000, Proceedings

Warren A. Hunt Jr. Steven D. Johnson Formal Methods in Computer-Aided Design, Third International Conference, FMCAD 2000, Austin, Texas, USA, November 1-3, 2000, Proceedings FMCAD Lecture Notes in Computer Science 1954 Springer 2000 3-540-41219-0 db/conf/fmcad/fmcad2000.html