skip to main content

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

Citações Citado por

Buscando em bases de dados remotas. Favor aguardar.