Mark Aagaard
Formal Methods In Computer-Aided Design
4Th International Conference, Fmcad 2002, Portland, Or, Usa, November 6-8, 2002, Proceedings
Editor: Mark Aagaard
Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg (Germany), 2002
Paperback, 410 pages
Theorem Proving In Higher Order Logics
13Th International Conference, Tphols 2000 Portland, Or, Usa, August 14-18, 2000 Proceedings
Editor: Mark Aagaard
Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg (Germany), 2000
Paperback, 544 pages


