Formal Methods In Computer Aided Design Second International Conference Fmcad | Desertcart SINGAPORE
[(Formal Methods in Computer-Aided Design: Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings)] [by: Ganesh C. Gopalakrishnan]