Conference on Software Engineering and Formal Methods (SEFM)
11. SEFM 2013: Madrid, Spain
Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti (Eds.): Software Engineering and Formal Methods - 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings. Springer 2013 Lecture Notes in Computer Science 8137 ISBN 978-3-642-40560-0 [ contents ]
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. Springer 2012 Lecture Notes in Computer Science 7504 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. Springer 2011 Lecture Notes in Computer Science 7041 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 ]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team