Conference on Software Engineering and Formal Methods (SEFM)

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 BibTeX

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 BibTeX

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 BibTeX

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 BibTeX

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 BibTeX

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 BibTeX