Formal Methods in Computer-Aided Design: Second International Conference, FMCAD' 98 Palo Alto, CA, USA, November 4-6, 1998 Proceedings
Gopalakrishnan, Ganesh ; Windley, Phillip Gopalakrishnan, Ganesh ; Windley, Phillip
Berlin, Heidelberg: Springer Berlin / Heidelberg 1998
Texto completo disponível