Mercedes G. Merayo

• Software Engineering and Formal Methods
• Testing Software and Systems
• Testing of Software and Communication Systems