×

zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

Aagaard, Mark D. (ed.) et al., Formal methods in computer-aided design. 4th international conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2517, 33-51 (2002).
MSC:  68U07 68Q60
BibTeX Cite
Full Text: Link
WorldCat.org
Margaria, Tiziana (ed.) et al., Correct hardware design and verification methods. 11th IFIP WG 10.5 advanced research working conference, CHARME 2001, Livingston, Scotland, GB, September 4-7, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2144, 293-309 (2001).
BibTeX Cite
Full Text: Link
WorldCat.org

Filter Results by …

Author
Year of Publication
Classification
Software