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

door International Conference on Software Engineering and Formal Methods, Barthe, Gilles., Pardo, Alberto., Schneider, Gerardo.
Gepubliceerd in 2011

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

door International Conference on Software Engineering and Formal Methods, Eleftherakis, George., Hinchey, Mike., Holcombe, Mike.
Gepubliceerd in 2012