Sun Meng

• Theoretical Aspects of Software Engineering