Formal Methods in Computer-Aided Design, Second International Conference, FMCAD '98, Palo Alto, California, USA, November 4-6, 1998, Proceedings

Ganesh Gopalakrishnan Phillip J. Windley Formal Methods in Computer-Aided Design, Second International Conference, FMCAD '98, Palo Alto, California, USA, November 4-6, 1998, Proceedings FMCAD Lecture Notes in Computer Science 1522 Springer 1998 3-540-65191-8 db/conf/fmcad/fmcad1998.html