Formal Methods in Computer-Aided Design: Second International Conference, FMCAD' 98 Palo Alto, CA, USA, November 46, 1998 Proceedings

Bok av Ganesh Gopalakrishnan