Proceedings First International Conference on Software Engineering and Formal Methods
2003
The following topics are dealt with: software engineering; testing; formal models for security; program verification; integration of formal and informal methods; object-oriented modelling; and automated verification.