Title: First International Conference on Software Engineering and Formal Methods
Subjects: Software engineering, Congresses, Formal methods (Computer science)