Title: 2010 Fourth International Symposium on Theoretical Aspects of Software Engineering
Subjects: Development, Congresses, Software engineering, Computer software