×

zbMATH — the first resource for mathematics

Software engineering and formal methods. 10th international conference, SEFM 2012, Thessaloniki, Greece, October 1–5, 2012. Proceedings. (English) Zbl 1251.68012
Lecture Notes in Computer Science 7504. Berlin: Springer (ISBN 978-3-642-33825-0/pbk). xiii, 384 p. (2012).

Show indexed articles as search result.

For the preceding conference see Zbl 1225.68009.

MSC:
68-06 Proceedings, conferences, collections, etc. pertaining to computer science
68Nxx Theory of software
00B25 Proceedings of conferences of miscellaneous specific interest
PDF BibTeX XML Cite
Full Text: DOI