Software Engineering and Formal Methods : 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings /

Antzeko izenburuak

• Software Engineering and Formal Methods : 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014 : Proceedings /
  Argitaratua: (2014, c2014)
• Formal Methods and Software Engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings /
  nork: Jim Davies, Wolfram Schulte, Mike Barnett
  Argitaratua: (2004, c2004)
• Formal Methods and Software Engineering : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings /
  nork: Toshiaki Aoki, Kenji Taguchi
  Argitaratua: (2012, c2012)
• Software Engineering and Formal Methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings /
  nork: Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti
  Argitaratua: (2013, c2013)
• Software Engineering and Formal Methods : 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings /
  nork: Gilles Barthe, Alberto Pardo, Gerardo Schneider
  Argitaratua: (2011, c2011)