Software Engineering and Formal Methods - 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings

Gilles Barthe Alberto Pardo Gerardo Schneider Software Engineering and Formal Methods - 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings 7041 2011 Springer Lecture Notes in Computer Science http://dx.doi.org/10.1007/978-3-642-24690-6 978-3-642-24689-0 SEFM db/conf/sefm/sefm2011.html