Siraj Ahmed Shaikh

• Formal Methods for Software Engineering
• Information Technology and Open Source