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, editors, Formal Methods in Computer-Aided Design, Second International Conference, FMCAD 98, Palo Alto, California, USA, November 4-6, 1998, Proceedings. Volume 1522 of Lecture Notes in Computer Science, Springer, 1998.

Conference: FMCAD1998

Editors

Ganesh Gopalakrishnan

This author has not been identified. Look up 'Ganesh Gopalakrishnan' in Google

Phillip J. Windley

This author has not been identified. Look up 'Phillip J. Windley' in Google