This web site is no longer maintained and the content may be outdated.
Please visit for up-to-date information.
No upcoming events...

Home / Courses / CmpE 58Q
  CmpE 58Q    

Special Topics in CmpE: Formal Verification of Hardware and Software Systems

Course Offerings:

Spring 2013Alper Şen
Spring 2012Alper Şen
Spring 2011Alper Şen
Spring 2010Alper Şen
Spring 2009Alper Şen
Boğaziçi University Department of Computer Engineering
Address: 34342 Bebek, Istanbul, TURKEY
Phone: +90 212 359 4523-24 Fax: +90 212 287 2461
general information:   webmaster: