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

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

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

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