dblp.uni-trier.de www.uni-trier.de

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 BibTeX


Keynote Speaker 1

Abstract Interpretation

Model Checking

Verification of Embedded Systems


Testing I

Testing II

Keynote Speaker 2

Aspect-Oriented Development

Requirement and Program Analysis

Tool Papers

Coordination Languages

Communication, Mobile and Interactive Systems

Short Papers

Copyright © Sat May 16 23:37:23 2009 by Michael Ley (ley@uni-trier.de)