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

Bằng International Conference on Software Engineering and Formal Methods, Eleftherakis, George., Hinchey, Mike., Holcombe, Mike.
Được phát hành 2012.

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

Bằng International Conference on Software Engineering and Formal Methods, Barthe, Gilles., Pardo, Alberto., Schneider, Gerardo.
Được phát hành 2011.