- Formal Specification and Verification
- Formal Program Development
- Software Testing
- Software Debug and Repair
- Internet Engineering
- Software Architecture
- Database Desgin
- Advanced Database
Computer Science and Engineering Department, Shahid Beheshti University
