Third IEEE International Conference on Software Engineering and Formal Methods
2005
The following topics are dealt with: program testing; real-time system; static analysis; requirements specification; program verification; true concurrency; formal methods; abstraction; human-computer interaction; software tools; component-based development; quality of service.