Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings (Lecture Notes in Computer Science, Band 7041)

von: Gilles Barthe · Alberto Pardo · Gerardo Schneider Taschenbuch Details (Deutschland) ISBN-13: 978-3-642-24689-0 ISBN-10: 3-642-24689-3 Springer · 2011