×

zbMATH — the first resource for mathematics

Found 7 Documents (Results 1–3)

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, 86-91 (2001).
MSC:  68Q60 68Q45 68M07
BibTeX Cite
Full Text: Link
WorldCat.org
Oliveira, José Nuno (ed.) et al., FME 2001: Formal methods for increasing software productivity. International symposium of formal methods Europe, Berlin, Germany, March 12-16, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2021, 318-343 (2001).
MSC:  68U99 68Q65 68Q45
BibTeX Cite
Full Text: Link
WorldCat.org

Filter Results by …

Document Type
Reviewing State
Author
Year of Publication
Classification
Software