Formal Methods in Computer-Aided Design: 5th International Conference, FMCAD 2004, Austin, Texas, U.S.A., November 15-17, 2004 : Proceedings by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 2004)