×

zbMATH — the first resource for mathematics

Found 3 Documents (Results 1–3)

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