Software engineering and formal methods 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011 : proceedings /

nork International Conference on Software Engineering and Formal Methods, Barthe, Gilles., Pardo, Alberto., Schneider, Gerardo.
Argitaratua 2011

Software engineering and formal methods 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings /

nork International Conference on Software Engineering and Formal Methods, Eleftherakis, George., Hinchey, Mike., Holcombe, Mike.
Argitaratua 2012