×

zbMATH — the first resource for mathematics

Found 3 Documents (Results 1–3)

Johnson, Michael (ed.) et al., Algebraic methodology and software technology. 13th international conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23–25, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-17795-8/pbk). Lecture Notes in Computer Science 6486, 209-215 (2011).
BibTeX Cite
Full Text: DOI
WorldCat.org
Núñez, Manuel (ed.) et al., Applying formal methods: testing, performance, and M/E-commerce. FORTE 2004 workshops the FormEMC, EPEW, ITM, Toledo, Spain, October 1–2, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23169-2/pbk). Lecture Notes in Computer Science 3236, 143-155 (2004).
MSC:  68Q85
BibTeX Cite
Full Text: DOI
WorldCat.org

Filter Results by …

Document Type
Author
Year of Publication
Classification
Software