in Software Engineering and Formal Methods - 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 7041, Pages: 221-236
Conference
9Th International Conference on Software Engineering and Formal Methods, Sefm 2011, Date: 14 November 2011 through 18 November 2011, Location: Montevideo, Sponsors: Agencia Nacional de Investigacion e Innovacion (ANII);Univ. Repub., Com. Sect. Invest. Cient. (CSIC);Programa Desarro. Cienc. Basicas (PEDECIBA) Inform.