Software engineering and formal methods：9th international conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011 : proceedings

Corporate Authors: International Conference on Software Engineering and Formal Methods (9th 2011 Montevideo, Uruguay)
Group Author: Pardo Alberto.; Schneider Gerardo.; Barthe Gilles
Published: Springer,
Publication Dates: c2011.