Formal methods in computer-aided design : second international conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings / - Gopalakrishnan, Ganesh.; Windley, Phillip. (Springer, 1998)