Formal Methods in Computer-Aided Design, First International Conference, FMCAD '96, Palo Alto, California, USA, November 6-8, 1996, Proceedings

Mandayam K. Srivas Albert John Camilleri Formal Methods in Computer-Aided Design, First International Conference, FMCAD '96, Palo Alto, California, USA, November 6-8, 1996, Proceedings FMCAD Lecture Notes in Computer Science 1166 Springer 1996 3-540-61937-2 db/conf/fmcad/fmcad1996.html