Conference on Software Engineering and Formal Methods (SEFM)
10. SEFM 2012: Thessaloniki, Greece
George Eleftherakis, Mike Hinchey, Mike Holcombe (Eds.):
Software Engineering and Formal Methods - 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings.
Lecture Notes in Computer Science 7504 Springer 2012, ISBN 978-3-642-33825-0
Contents 
9. SEFM 2011: Montevideo, Uruguay
Gilles Barthe, Alberto Pardo, Gerardo Schneider (Eds.):
Software Engineering and Formal Methods - 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings.
Lecture Notes in Computer Science 7041 Springer 2011, ISBN 978-3-642-24689-0
Contents
8. SEFM 2010: Pisa, Italy
José Luiz Fiadeiro, Stefania Gnesi, Andrea Maggiolo-Schettini (Eds.):
8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010, Pisa, Italy, 13-18 September 2010.
IEEE Computer Society 2010, ISBN 978-0-7695-4153-2
Contents
7. SEFM 2009: Hanoi, Vietnam
Dang Van Hung, Padmanabhan Krishnan (Eds.):
Seventh IEEE International Conference on Software Engineering and Formal Methods, SEFM 2009, Hanoi, Vietnam, 23-27 November 2009.
IEEE Computer Society 2009, ISBN 978-0-7695-3870-9
Contents
6. SEFM 2008: Cape Town, South Africa
Antonio Cerone, Stefan Gruner (Eds.):
Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008.
IEEE Computer Society 2008, ISBN 978-0-7695-3437-4
Contents
5. SEFM 2007: London, England
Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, England, UK.
IEEE Computer Society 2007, ISBN 978-0-7695-2884-7
Contents
4. SEFM 2006: Pune, India
Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 11-15 September 2006, Pune, India.
IEEE Computer Society 2006, ISBN 0-7695-2678-0
Contents
3. SEFM 2005: Koblenz, Germany
Bernhard K. Aichernig, Bernhard Beckert (Eds.):
Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany.
IEEE Computer Society 2005, ISBN 0-7695-2435-4
Contents
2. SEFM 2004: Beijing, China
2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 28-30 September 2004, Beijing, China.
IEEE Computer Society 2004, ISBN 0-7695-2222-X
Contents
1. SEFM 2003: Brisbane, Australia
1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 22-27 September 2003, Brisbane, Australia.
IEEE Computer Society 2003, ISBN 0-7695-1949-0
Contents
Last update Thu May 23 17:56:02 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
